( define ( problem transport-l5-t1-p4---int100n150-m25---int100c110---s1---e0 ) ( :domain transport-strips ) ( :objects 4 3 2 1 0 - num l0 l1 l2 l3 l4 - location t0 - truck p1 p2 p3 - package level0 level1 level2 level3 level4 level5 level6 level7 level8 level9 level10 level11 level12 level13 level14 level15 level16 level17 level18 level19 level20 level21 level22 level23 level24 level25 level26 level27 level28 level29 level30 level31 level32 level33 level34 level35 level36 level37 level38 level39 level40 level41 level42 level43 level44 level45 level46 level47 level48 level49 level50 level51 level52 level53 level54 level55 level56 level57 level58 level59 level60 level61 level62 level63 level64 level65 level66 level67 level68 level69 level70 level71 level72 level73 level74 level75 level76 level77 - fuellevel ) ( :init ( sum level0 level0 level0 ) ( sum level0 level1 level1 ) ( sum level0 level2 level2 ) ( sum level0 level3 level3 ) ( sum level0 level4 level4 ) ( sum level0 level5 level5 ) ( sum level0 level6 level6 ) ( sum level0 level7 level7 ) ( sum level0 level8 level8 ) ( sum level0 level9 level9 ) ( sum level0 level10 level10 ) ( sum level0 level11 level11 ) ( sum level0 level12 level12 ) ( sum level0 level13 level13 ) ( sum level0 level14 level14 ) ( sum level0 level15 level15 ) ( sum level0 level16 level16 ) ( sum level0 level17 level17 ) ( sum level0 level18 level18 ) ( sum level0 level19 level19 ) ( sum level0 level20 level20 ) ( sum level0 level21 level21 ) ( sum level0 level22 level22 ) ( sum level0 level23 level23 ) ( sum level0 level24 level24 ) ( sum level0 level25 level25 ) ( sum level0 level26 level26 ) ( sum level0 level27 level27 ) ( sum level0 level28 level28 ) ( sum level0 level29 level29 ) ( sum level0 level30 level30 ) ( sum level0 level31 level31 ) ( sum level0 level32 level32 ) ( sum level0 level33 level33 ) ( sum level0 level34 level34 ) ( sum level0 level35 level35 ) ( sum level0 level36 level36 ) ( sum level0 level37 level37 ) ( sum level0 level38 level38 ) ( sum level0 level39 level39 ) ( sum level0 level40 level40 ) ( sum level0 level41 level41 ) ( sum level0 level42 level42 ) ( sum level0 level43 level43 ) ( sum level0 level44 level44 ) ( sum level0 level45 level45 ) ( sum level0 level46 level46 ) ( sum level0 level47 level47 ) ( sum level0 level48 level48 ) ( sum level0 level49 level49 ) ( sum level0 level50 level50 ) ( sum level0 level51 level51 ) ( sum level0 level52 level52 ) ( sum level0 level53 level53 ) ( sum level0 level54 level54 ) ( sum level0 level55 level55 ) ( sum level0 level56 level56 ) ( sum level0 level57 level57 ) ( sum level0 level58 level58 ) ( sum level0 level59 level59 ) ( sum level0 level60 level60 ) ( sum level0 level61 level61 ) ( sum level0 level62 level62 ) ( sum level0 level63 level63 ) ( sum level0 level64 level64 ) ( sum level0 level65 level65 ) ( sum level0 level66 level66 ) ( sum level0 level67 level67 ) ( sum level0 level68 level68 ) ( sum level0 level69 level69 ) ( sum level0 level70 level70 ) ( sum level0 level71 level71 ) ( sum level0 level72 level72 ) ( sum level0 level73 level73 ) ( sum level0 level74 level74 ) ( sum level0 level75 level75 ) ( sum level0 level76 level76 ) ( sum level0 level77 level77 ) ( sum level1 level0 level1 ) ( sum level1 level1 level2 ) ( sum level1 level2 level3 ) ( sum level1 level3 level4 ) ( sum level1 level4 level5 ) ( sum level1 level5 level6 ) ( sum level1 level6 level7 ) ( sum level1 level7 level8 ) ( sum level1 level8 level9 ) ( sum level1 level9 level10 ) ( sum level1 level10 level11 ) ( sum level1 level11 level12 ) ( sum level1 level12 level13 ) ( sum level1 level13 level14 ) ( sum level1 level14 level15 ) ( sum level1 level15 level16 ) ( sum level1 level16 level17 ) ( sum level1 level17 level18 ) ( sum level1 level18 level19 ) ( sum level1 level19 level20 ) ( sum level1 level20 level21 ) ( sum level1 level21 level22 ) ( sum level1 level22 level23 ) ( sum level1 level23 level24 ) ( sum level1 level24 level25 ) ( sum level1 level25 level26 ) ( sum level1 level26 level27 ) ( sum level1 level27 level28 ) ( sum level1 level28 level29 ) ( sum level1 level29 level30 ) ( sum level1 level30 level31 ) ( sum level1 level31 level32 ) ( sum level1 level32 level33 ) ( sum level1 level33 level34 ) ( sum level1 level34 level35 ) ( sum level1 level35 level36 ) ( sum level1 level36 level37 ) ( sum level1 level37 level38 ) ( sum level1 level38 level39 ) ( sum level1 level39 level40 ) ( sum level1 level40 level41 ) ( sum level1 level41 level42 ) ( sum level1 level42 level43 ) ( sum level1 level43 level44 ) ( sum level1 level44 level45 ) ( sum level1 level45 level46 ) ( sum level1 level46 level47 ) ( sum level1 level47 level48 ) ( sum level1 level48 level49 ) ( sum level1 level49 level50 ) ( sum level1 level50 level51 ) ( sum level1 level51 level52 ) ( sum level1 level52 level53 ) ( sum level1 level53 level54 ) ( sum level1 level54 level55 ) ( sum level1 level55 level56 ) ( sum level1 level56 level57 ) ( sum level1 level57 level58 ) ( sum level1 level58 level59 ) ( sum level1 level59 level60 ) ( sum level1 level60 level61 ) ( sum level1 level61 level62 ) ( sum level1 level62 level63 ) ( sum level1 level63 level64 ) ( sum level1 level64 level65 ) ( sum level1 level65 level66 ) ( sum level1 level66 level67 ) ( sum level1 level67 level68 ) ( sum level1 level68 level69 ) ( sum level1 level69 level70 ) ( sum level1 level70 level71 ) ( sum level1 level71 level72 ) ( sum level1 level72 level73 ) ( sum level1 level73 level74 ) ( sum level1 level74 level75 ) ( sum level1 level75 level76 ) ( sum level1 level76 level77 ) ( sum level2 level0 level2 ) ( sum level2 level1 level3 ) ( sum level2 level2 level4 ) ( sum level2 level3 level5 ) ( sum level2 level4 level6 ) ( sum level2 level5 level7 ) ( sum level2 level6 level8 ) ( sum level2 level7 level9 ) ( sum level2 level8 level10 ) ( sum level2 level9 level11 ) ( sum level2 level10 level12 ) ( sum level2 level11 level13 ) ( sum level2 level12 level14 ) ( sum level2 level13 level15 ) ( sum level2 level14 level16 ) ( sum level2 level15 level17 ) ( sum level2 level16 level18 ) ( sum level2 level17 level19 ) ( sum level2 level18 level20 ) ( sum level2 level19 level21 ) ( sum level2 level20 level22 ) ( sum level2 level21 level23 ) ( sum level2 level22 level24 ) ( sum level2 level23 level25 ) ( sum level2 level24 level26 ) ( sum level2 level25 level27 ) ( sum level2 level26 level28 ) ( sum level2 level27 level29 ) ( sum level2 level28 level30 ) ( sum level2 level29 level31 ) ( sum level2 level30 level32 ) ( sum level2 level31 level33 ) ( sum level2 level32 level34 ) ( sum level2 level33 level35 ) ( sum level2 level34 level36 ) ( sum level2 level35 level37 ) ( sum level2 level36 level38 ) ( sum level2 level37 level39 ) ( sum level2 level38 level40 ) ( sum level2 level39 level41 ) ( sum level2 level40 level42 ) ( sum level2 level41 level43 ) ( sum level2 level42 level44 ) ( sum level2 level43 level45 ) ( sum level2 level44 level46 ) ( sum level2 level45 level47 ) ( sum level2 level46 level48 ) ( sum level2 level47 level49 ) ( sum level2 level48 level50 ) ( sum level2 level49 level51 ) ( sum level2 level50 level52 ) ( sum level2 level51 level53 ) ( sum level2 level52 level54 ) ( sum level2 level53 level55 ) ( sum level2 level54 level56 ) ( sum level2 level55 level57 ) ( sum level2 level56 level58 ) ( sum level2 level57 level59 ) ( sum level2 level58 level60 ) ( sum level2 level59 level61 ) ( sum level2 level60 level62 ) ( sum level2 level61 level63 ) ( sum level2 level62 level64 ) ( sum level2 level63 level65 ) ( sum level2 level64 level66 ) ( sum level2 level65 level67 ) ( sum level2 level66 level68 ) ( sum level2 level67 level69 ) ( sum level2 level68 level70 ) ( sum level2 level69 level71 ) ( sum level2 level70 level72 ) ( sum level2 level71 level73 ) ( sum level2 level72 level74 ) ( sum level2 level73 level75 ) ( sum level2 level74 level76 ) ( sum level2 level75 level77 ) ( sum level3 level0 level3 ) ( sum level3 level1 level4 ) ( sum level3 level2 level5 ) ( sum level3 level3 level6 ) ( sum level3 level4 level7 ) ( sum level3 level5 level8 ) ( sum level3 level6 level9 ) ( sum level3 level7 level10 ) ( sum level3 level8 level11 ) ( sum level3 level9 level12 ) ( sum level3 level10 level13 ) ( sum level3 level11 level14 ) ( sum level3 level12 level15 ) ( sum level3 level13 level16 ) ( sum level3 level14 level17 ) ( sum level3 level15 level18 ) ( sum level3 level16 level19 ) ( sum level3 level17 level20 ) ( sum level3 level18 level21 ) ( sum level3 level19 level22 ) ( sum level3 level20 level23 ) ( sum level3 level21 level24 ) ( sum level3 level22 level25 ) ( sum level3 level23 level26 ) ( sum level3 level24 level27 ) ( sum level3 level25 level28 ) ( sum level3 level26 level29 ) ( sum level3 level27 level30 ) ( sum level3 level28 level31 ) ( sum level3 level29 level32 ) ( sum level3 level30 level33 ) ( sum level3 level31 level34 ) ( sum level3 level32 level35 ) ( sum level3 level33 level36 ) ( sum level3 level34 level37 ) ( sum level3 level35 level38 ) ( sum level3 level36 level39 ) ( sum level3 level37 level40 ) ( sum level3 level38 level41 ) ( sum level3 level39 level42 ) ( sum level3 level40 level43 ) ( sum level3 level41 level44 ) ( sum level3 level42 level45 ) ( sum level3 level43 level46 ) ( sum level3 level44 level47 ) ( sum level3 level45 level48 ) ( sum level3 level46 level49 ) ( sum level3 level47 level50 ) ( sum level3 level48 level51 ) ( sum level3 level49 level52 ) ( sum level3 level50 level53 ) ( sum level3 level51 level54 ) ( sum level3 level52 level55 ) ( sum level3 level53 level56 ) ( sum level3 level54 level57 ) ( sum level3 level55 level58 ) ( sum level3 level56 level59 ) ( sum level3 level57 level60 ) ( sum level3 level58 level61 ) ( sum level3 level59 level62 ) ( sum level3 level60 level63 ) ( sum level3 level61 level64 ) ( sum level3 level62 level65 ) ( sum level3 level63 level66 ) ( sum level3 level64 level67 ) ( sum level3 level65 level68 ) ( sum level3 level66 level69 ) ( sum level3 level67 level70 ) ( sum level3 level68 level71 ) ( sum level3 level69 level72 ) ( sum level3 level70 level73 ) ( sum level3 level71 level74 ) ( sum level3 level72 level75 ) ( sum level3 level73 level76 ) ( sum level3 level74 level77 ) ( sum level4 level0 level4 ) ( sum level4 level1 level5 ) ( sum level4 level2 level6 ) ( sum level4 level3 level7 ) ( sum level4 level4 level8 ) ( sum level4 level5 level9 ) ( sum level4 level6 level10 ) ( sum level4 level7 level11 ) ( sum level4 level8 level12 ) ( sum level4 level9 level13 ) ( sum level4 level10 level14 ) ( sum level4 level11 level15 ) ( sum level4 level12 level16 ) ( sum level4 level13 level17 ) ( sum level4 level14 level18 ) ( sum level4 level15 level19 ) ( sum level4 level16 level20 ) ( sum level4 level17 level21 ) ( sum level4 level18 level22 ) ( sum level4 level19 level23 ) ( sum level4 level20 level24 ) ( sum level4 level21 level25 ) ( sum level4 level22 level26 ) ( sum level4 level23 level27 ) ( sum level4 level24 level28 ) ( sum level4 level25 level29 ) ( sum level4 level26 level30 ) ( sum level4 level27 level31 ) ( sum level4 level28 level32 ) ( sum level4 level29 level33 ) ( sum level4 level30 level34 ) ( sum level4 level31 level35 ) ( sum level4 level32 level36 ) ( sum level4 level33 level37 ) ( sum level4 level34 level38 ) ( sum level4 level35 level39 ) ( sum level4 level36 level40 ) ( sum level4 level37 level41 ) ( sum level4 level38 level42 ) ( sum level4 level39 level43 ) ( sum level4 level40 level44 ) ( sum level4 level41 level45 ) ( sum level4 level42 level46 ) ( sum level4 level43 level47 ) ( sum level4 level44 level48 ) ( sum level4 level45 level49 ) ( sum level4 level46 level50 ) ( sum level4 level47 level51 ) ( sum level4 level48 level52 ) ( sum level4 level49 level53 ) ( sum level4 level50 level54 ) ( sum level4 level51 level55 ) ( sum level4 level52 level56 ) ( sum level4 level53 level57 ) ( sum level4 level54 level58 ) ( sum level4 level55 level59 ) ( sum level4 level56 level60 ) ( sum level4 level57 level61 ) ( sum level4 level58 level62 ) ( sum level4 level59 level63 ) ( sum level4 level60 level64 ) ( sum level4 level61 level65 ) ( sum level4 level62 level66 ) ( sum level4 level63 level67 ) ( sum level4 level64 level68 ) ( sum level4 level65 level69 ) ( sum level4 level66 level70 ) ( sum level4 level67 level71 ) ( sum level4 level68 level72 ) ( sum level4 level69 level73 ) ( sum level4 level70 level74 ) ( sum level4 level71 level75 ) ( sum level4 level72 level76 ) ( sum level4 level73 level77 ) ( sum level5 level0 level5 ) ( sum level5 level1 level6 ) ( sum level5 level2 level7 ) ( sum level5 level3 level8 ) ( sum level5 level4 level9 ) ( sum level5 level5 level10 ) ( sum level5 level6 level11 ) ( sum level5 level7 level12 ) ( sum level5 level8 level13 ) ( sum level5 level9 level14 ) ( sum level5 level10 level15 ) ( sum level5 level11 level16 ) ( sum level5 level12 level17 ) ( sum level5 level13 level18 ) ( sum level5 level14 level19 ) ( sum level5 level15 level20 ) ( sum level5 level16 level21 ) ( sum level5 level17 level22 ) ( sum level5 level18 level23 ) ( sum level5 level19 level24 ) ( sum level5 level20 level25 ) ( sum level5 level21 level26 ) ( sum level5 level22 level27 ) ( sum level5 level23 level28 ) ( sum level5 level24 level29 ) ( sum level5 level25 level30 ) ( sum level5 level26 level31 ) ( sum level5 level27 level32 ) ( sum level5 level28 level33 ) ( sum level5 level29 level34 ) ( sum level5 level30 level35 ) ( sum level5 level31 level36 ) ( sum level5 level32 level37 ) ( sum level5 level33 level38 ) ( sum level5 level34 level39 ) ( sum level5 level35 level40 ) ( sum level5 level36 level41 ) ( sum level5 level37 level42 ) ( sum level5 level38 level43 ) ( sum level5 level39 level44 ) ( sum level5 level40 level45 ) ( sum level5 level41 level46 ) ( sum level5 level42 level47 ) ( sum level5 level43 level48 ) ( sum level5 level44 level49 ) ( sum level5 level45 level50 ) ( sum level5 level46 level51 ) ( sum level5 level47 level52 ) ( sum level5 level48 level53 ) ( sum level5 level49 level54 ) ( sum level5 level50 level55 ) ( sum level5 level51 level56 ) ( sum level5 level52 level57 ) ( sum level5 level53 level58 ) ( sum level5 level54 level59 ) ( sum level5 level55 level60 ) ( sum level5 level56 level61 ) ( sum level5 level57 level62 ) ( sum level5 level58 level63 ) ( sum level5 level59 level64 ) ( sum level5 level60 level65 ) ( sum level5 level61 level66 ) ( sum level5 level62 level67 ) ( sum level5 level63 level68 ) ( sum level5 level64 level69 ) ( sum level5 level65 level70 ) ( sum level5 level66 level71 ) ( sum level5 level67 level72 ) ( sum level5 level68 level73 ) ( sum level5 level69 level74 ) ( sum level5 level70 level75 ) ( sum level5 level71 level76 ) ( sum level5 level72 level77 ) ( sum level6 level0 level6 ) ( sum level6 level1 level7 ) ( sum level6 level2 level8 ) ( sum level6 level3 level9 ) ( sum level6 level4 level10 ) ( sum level6 level5 level11 ) ( sum level6 level6 level12 ) ( sum level6 level7 level13 ) ( sum level6 level8 level14 ) ( sum level6 level9 level15 ) ( sum level6 level10 level16 ) ( sum level6 level11 level17 ) ( sum level6 level12 level18 ) ( sum level6 level13 level19 ) ( sum level6 level14 level20 ) ( sum level6 level15 level21 ) ( sum level6 level16 level22 ) ( sum level6 level17 level23 ) ( sum level6 level18 level24 ) ( sum level6 level19 level25 ) ( sum level6 level20 level26 ) ( sum level6 level21 level27 ) ( sum level6 level22 level28 ) ( sum level6 level23 level29 ) ( sum level6 level24 level30 ) ( sum level6 level25 level31 ) ( sum level6 level26 level32 ) ( sum level6 level27 level33 ) ( sum level6 level28 level34 ) ( sum level6 level29 level35 ) ( sum level6 level30 level36 ) ( sum level6 level31 level37 ) ( sum level6 level32 level38 ) ( sum level6 level33 level39 ) ( sum level6 level34 level40 ) ( sum level6 level35 level41 ) ( sum level6 level36 level42 ) ( sum level6 level37 level43 ) ( sum level6 level38 level44 ) ( sum level6 level39 level45 ) ( sum level6 level40 level46 ) ( sum level6 level41 level47 ) ( sum level6 level42 level48 ) ( sum level6 level43 level49 ) ( sum level6 level44 level50 ) ( sum level6 level45 level51 ) ( sum level6 level46 level52 ) ( sum level6 level47 level53 ) ( sum level6 level48 level54 ) ( sum level6 level49 level55 ) ( sum level6 level50 level56 ) ( sum level6 level51 level57 ) ( sum level6 level52 level58 ) ( sum level6 level53 level59 ) ( sum level6 level54 level60 ) ( sum level6 level55 level61 ) ( sum level6 level56 level62 ) ( sum level6 level57 level63 ) ( sum level6 level58 level64 ) ( sum level6 level59 level65 ) ( sum level6 level60 level66 ) ( sum level6 level61 level67 ) ( sum level6 level62 level68 ) ( sum level6 level63 level69 ) ( sum level6 level64 level70 ) ( sum level6 level65 level71 ) ( sum level6 level66 level72 ) ( sum level6 level67 level73 ) ( sum level6 level68 level74 ) ( sum level6 level69 level75 ) ( sum level6 level70 level76 ) ( sum level6 level71 level77 ) ( sum level7 level0 level7 ) ( sum level7 level1 level8 ) ( sum level7 level2 level9 ) ( sum level7 level3 level10 ) ( sum level7 level4 level11 ) ( sum level7 level5 level12 ) ( sum level7 level6 level13 ) ( sum level7 level7 level14 ) ( sum level7 level8 level15 ) ( sum level7 level9 level16 ) ( sum level7 level10 level17 ) ( sum level7 level11 level18 ) ( sum level7 level12 level19 ) ( sum level7 level13 level20 ) ( sum level7 level14 level21 ) ( sum level7 level15 level22 ) ( sum level7 level16 level23 ) ( sum level7 level17 level24 ) ( sum level7 level18 level25 ) ( sum level7 level19 level26 ) ( sum level7 level20 level27 ) ( sum level7 level21 level28 ) ( sum level7 level22 level29 ) ( sum level7 level23 level30 ) ( sum level7 level24 level31 ) ( sum level7 level25 level32 ) ( sum level7 level26 level33 ) ( sum level7 level27 level34 ) ( sum level7 level28 level35 ) ( sum level7 level29 level36 ) ( sum level7 level30 level37 ) ( sum level7 level31 level38 ) ( sum level7 level32 level39 ) ( sum level7 level33 level40 ) ( sum level7 level34 level41 ) ( sum level7 level35 level42 ) ( sum level7 level36 level43 ) ( sum level7 level37 level44 ) ( sum level7 level38 level45 ) ( sum level7 level39 level46 ) ( sum level7 level40 level47 ) ( sum level7 level41 level48 ) ( sum level7 level42 level49 ) ( sum level7 level43 level50 ) ( sum level7 level44 level51 ) ( sum level7 level45 level52 ) ( sum level7 level46 level53 ) ( sum level7 level47 level54 ) ( sum level7 level48 level55 ) ( sum level7 level49 level56 ) ( sum level7 level50 level57 ) ( sum level7 level51 level58 ) ( sum level7 level52 level59 ) ( sum level7 level53 level60 ) ( sum level7 level54 level61 ) ( sum level7 level55 level62 ) ( sum level7 level56 level63 ) ( sum level7 level57 level64 ) ( sum level7 level58 level65 ) ( sum level7 level59 level66 ) ( sum level7 level60 level67 ) ( sum level7 level61 level68 ) ( sum level7 level62 level69 ) ( sum level7 level63 level70 ) ( sum level7 level64 level71 ) ( sum level7 level65 level72 ) ( sum level7 level66 level73 ) ( sum level7 level67 level74 ) ( sum level7 level68 level75 ) ( sum level7 level69 level76 ) ( sum level7 level70 level77 ) ( sum level8 level0 level8 ) ( sum level8 level1 level9 ) ( sum level8 level2 level10 ) ( sum level8 level3 level11 ) ( sum level8 level4 level12 ) ( sum level8 level5 level13 ) ( sum level8 level6 level14 ) ( sum level8 level7 level15 ) ( sum level8 level8 level16 ) ( sum level8 level9 level17 ) ( sum level8 level10 level18 ) ( sum level8 level11 level19 ) ( sum level8 level12 level20 ) ( sum level8 level13 level21 ) ( sum level8 level14 level22 ) ( sum level8 level15 level23 ) ( sum level8 level16 level24 ) ( sum level8 level17 level25 ) ( sum level8 level18 level26 ) ( sum level8 level19 level27 ) ( sum level8 level20 level28 ) ( sum level8 level21 level29 ) ( sum level8 level22 level30 ) ( sum level8 level23 level31 ) ( sum level8 level24 level32 ) ( sum level8 level25 level33 ) ( sum level8 level26 level34 ) ( sum level8 level27 level35 ) ( sum level8 level28 level36 ) ( sum level8 level29 level37 ) ( sum level8 level30 level38 ) ( sum level8 level31 level39 ) ( sum level8 level32 level40 ) ( sum level8 level33 level41 ) ( sum level8 level34 level42 ) ( sum level8 level35 level43 ) ( sum level8 level36 level44 ) ( sum level8 level37 level45 ) ( sum level8 level38 level46 ) ( sum level8 level39 level47 ) ( sum level8 level40 level48 ) ( sum level8 level41 level49 ) ( sum level8 level42 level50 ) ( sum level8 level43 level51 ) ( sum level8 level44 level52 ) ( sum level8 level45 level53 ) ( sum level8 level46 level54 ) ( sum level8 level47 level55 ) ( sum level8 level48 level56 ) ( sum level8 level49 level57 ) ( sum level8 level50 level58 ) ( sum level8 level51 level59 ) ( sum level8 level52 level60 ) ( sum level8 level53 level61 ) ( sum level8 level54 level62 ) ( sum level8 level55 level63 ) ( sum level8 level56 level64 ) ( sum level8 level57 level65 ) ( sum level8 level58 level66 ) ( sum level8 level59 level67 ) ( sum level8 level60 level68 ) ( sum level8 level61 level69 ) ( sum level8 level62 level70 ) ( sum level8 level63 level71 ) ( sum level8 level64 level72 ) ( sum level8 level65 level73 ) ( sum level8 level66 level74 ) ( sum level8 level67 level75 ) ( sum level8 level68 level76 ) ( sum level8 level69 level77 ) ( sum level9 level0 level9 ) ( sum level9 level1 level10 ) ( sum level9 level2 level11 ) ( sum level9 level3 level12 ) ( sum level9 level4 level13 ) ( sum level9 level5 level14 ) ( sum level9 level6 level15 ) ( sum level9 level7 level16 ) ( sum level9 level8 level17 ) ( sum level9 level9 level18 ) ( sum level9 level10 level19 ) ( sum level9 level11 level20 ) ( sum level9 level12 level21 ) ( sum level9 level13 level22 ) ( sum level9 level14 level23 ) ( sum level9 level15 level24 ) ( sum level9 level16 level25 ) ( sum level9 level17 level26 ) ( sum level9 level18 level27 ) ( sum level9 level19 level28 ) ( sum level9 level20 level29 ) ( sum level9 level21 level30 ) ( sum level9 level22 level31 ) ( sum level9 level23 level32 ) ( sum level9 level24 level33 ) ( sum level9 level25 level34 ) ( sum level9 level26 level35 ) ( sum level9 level27 level36 ) ( sum level9 level28 level37 ) ( sum level9 level29 level38 ) ( sum level9 level30 level39 ) ( sum level9 level31 level40 ) ( sum level9 level32 level41 ) ( sum level9 level33 level42 ) ( sum level9 level34 level43 ) ( sum level9 level35 level44 ) ( sum level9 level36 level45 ) ( sum level9 level37 level46 ) ( sum level9 level38 level47 ) ( sum level9 level39 level48 ) ( sum level9 level40 level49 ) ( sum level9 level41 level50 ) ( sum level9 level42 level51 ) ( sum level9 level43 level52 ) ( sum level9 level44 level53 ) ( sum level9 level45 level54 ) ( sum level9 level46 level55 ) ( sum level9 level47 level56 ) ( sum level9 level48 level57 ) ( sum level9 level49 level58 ) ( sum level9 level50 level59 ) ( sum level9 level51 level60 ) ( sum level9 level52 level61 ) ( sum level9 level53 level62 ) ( sum level9 level54 level63 ) ( sum level9 level55 level64 ) ( sum level9 level56 level65 ) ( sum level9 level57 level66 ) ( sum level9 level58 level67 ) ( sum level9 level59 level68 ) ( sum level9 level60 level69 ) ( sum level9 level61 level70 ) ( sum level9 level62 level71 ) ( sum level9 level63 level72 ) ( sum level9 level64 level73 ) ( sum level9 level65 level74 ) ( sum level9 level66 level75 ) ( sum level9 level67 level76 ) ( sum level9 level68 level77 ) ( sum level10 level0 level10 ) ( sum level10 level1 level11 ) ( sum level10 level2 level12 ) ( sum level10 level3 level13 ) ( sum level10 level4 level14 ) ( sum level10 level5 level15 ) ( sum level10 level6 level16 ) ( sum level10 level7 level17 ) ( sum level10 level8 level18 ) ( sum level10 level9 level19 ) ( sum level10 level10 level20 ) ( sum level10 level11 level21 ) ( sum level10 level12 level22 ) ( sum level10 level13 level23 ) ( sum level10 level14 level24 ) ( sum level10 level15 level25 ) ( sum level10 level16 level26 ) ( sum level10 level17 level27 ) ( sum level10 level18 level28 ) ( sum level10 level19 level29 ) ( sum level10 level20 level30 ) ( sum level10 level21 level31 ) ( sum level10 level22 level32 ) ( sum level10 level23 level33 ) ( sum level10 level24 level34 ) ( sum level10 level25 level35 ) ( sum level10 level26 level36 ) ( sum level10 level27 level37 ) ( sum level10 level28 level38 ) ( sum level10 level29 level39 ) ( sum level10 level30 level40 ) ( sum level10 level31 level41 ) ( sum level10 level32 level42 ) ( sum level10 level33 level43 ) ( sum level10 level34 level44 ) ( sum level10 level35 level45 ) ( sum level10 level36 level46 ) ( sum level10 level37 level47 ) ( sum level10 level38 level48 ) ( sum level10 level39 level49 ) ( sum level10 level40 level50 ) ( sum level10 level41 level51 ) ( sum level10 level42 level52 ) ( sum level10 level43 level53 ) ( sum level10 level44 level54 ) ( sum level10 level45 level55 ) ( sum level10 level46 level56 ) ( sum level10 level47 level57 ) ( sum level10 level48 level58 ) ( sum level10 level49 level59 ) ( sum level10 level50 level60 ) ( sum level10 level51 level61 ) ( sum level10 level52 level62 ) ( sum level10 level53 level63 ) ( sum level10 level54 level64 ) ( sum level10 level55 level65 ) ( sum level10 level56 level66 ) ( sum level10 level57 level67 ) ( sum level10 level58 level68 ) ( sum level10 level59 level69 ) ( sum level10 level60 level70 ) ( sum level10 level61 level71 ) ( sum level10 level62 level72 ) ( sum level10 level63 level73 ) ( sum level10 level64 level74 ) ( sum level10 level65 level75 ) ( sum level10 level66 level76 ) ( sum level10 level67 level77 ) ( sum level11 level0 level11 ) ( sum level11 level1 level12 ) ( sum level11 level2 level13 ) ( sum level11 level3 level14 ) ( sum level11 level4 level15 ) ( sum level11 level5 level16 ) ( sum level11 level6 level17 ) ( sum level11 level7 level18 ) ( sum level11 level8 level19 ) ( sum level11 level9 level20 ) ( sum level11 level10 level21 ) ( sum level11 level11 level22 ) ( sum level11 level12 level23 ) ( sum level11 level13 level24 ) ( sum level11 level14 level25 ) ( sum level11 level15 level26 ) ( sum level11 level16 level27 ) ( sum level11 level17 level28 ) ( sum level11 level18 level29 ) ( sum level11 level19 level30 ) ( sum level11 level20 level31 ) ( sum level11 level21 level32 ) ( sum level11 level22 level33 ) ( sum level11 level23 level34 ) ( sum level11 level24 level35 ) ( sum level11 level25 level36 ) ( sum level11 level26 level37 ) ( sum level11 level27 level38 ) ( sum level11 level28 level39 ) ( sum level11 level29 level40 ) ( sum level11 level30 level41 ) ( sum level11 level31 level42 ) ( sum level11 level32 level43 ) ( sum level11 level33 level44 ) ( sum level11 level34 level45 ) ( sum level11 level35 level46 ) ( sum level11 level36 level47 ) ( sum level11 level37 level48 ) ( sum level11 level38 level49 ) ( sum level11 level39 level50 ) ( sum level11 level40 level51 ) ( sum level11 level41 level52 ) ( sum level11 level42 level53 ) ( sum level11 level43 level54 ) ( sum level11 level44 level55 ) ( sum level11 level45 level56 ) ( sum level11 level46 level57 ) ( sum level11 level47 level58 ) ( sum level11 level48 level59 ) ( sum level11 level49 level60 ) ( sum level11 level50 level61 ) ( sum level11 level51 level62 ) ( sum level11 level52 level63 ) ( sum level11 level53 level64 ) ( sum level11 level54 level65 ) ( sum level11 level55 level66 ) ( sum level11 level56 level67 ) ( sum level11 level57 level68 ) ( sum level11 level58 level69 ) ( sum level11 level59 level70 ) ( sum level11 level60 level71 ) ( sum level11 level61 level72 ) ( sum level11 level62 level73 ) ( sum level11 level63 level74 ) ( sum level11 level64 level75 ) ( sum level11 level65 level76 ) ( sum level11 level66 level77 ) ( sum level12 level0 level12 ) ( sum level12 level1 level13 ) ( sum level12 level2 level14 ) ( sum level12 level3 level15 ) ( sum level12 level4 level16 ) ( sum level12 level5 level17 ) ( sum level12 level6 level18 ) ( sum level12 level7 level19 ) ( sum level12 level8 level20 ) ( sum level12 level9 level21 ) ( sum level12 level10 level22 ) ( sum level12 level11 level23 ) ( sum level12 level12 level24 ) ( sum level12 level13 level25 ) ( sum level12 level14 level26 ) ( sum level12 level15 level27 ) ( sum level12 level16 level28 ) ( sum level12 level17 level29 ) ( sum level12 level18 level30 ) ( sum level12 level19 level31 ) ( sum level12 level20 level32 ) ( sum level12 level21 level33 ) ( sum level12 level22 level34 ) ( sum level12 level23 level35 ) ( sum level12 level24 level36 ) ( sum level12 level25 level37 ) ( sum level12 level26 level38 ) ( sum level12 level27 level39 ) ( sum level12 level28 level40 ) ( sum level12 level29 level41 ) ( sum level12 level30 level42 ) ( sum level12 level31 level43 ) ( sum level12 level32 level44 ) ( sum level12 level33 level45 ) ( sum level12 level34 level46 ) ( sum level12 level35 level47 ) ( sum level12 level36 level48 ) ( sum level12 level37 level49 ) ( sum level12 level38 level50 ) ( sum level12 level39 level51 ) ( sum level12 level40 level52 ) ( sum level12 level41 level53 ) ( sum level12 level42 level54 ) ( sum level12 level43 level55 ) ( sum level12 level44 level56 ) ( sum level12 level45 level57 ) ( sum level12 level46 level58 ) ( sum level12 level47 level59 ) ( sum level12 level48 level60 ) ( sum level12 level49 level61 ) ( sum level12 level50 level62 ) ( sum level12 level51 level63 ) ( sum level12 level52 level64 ) ( sum level12 level53 level65 ) ( sum level12 level54 level66 ) ( sum level12 level55 level67 ) ( sum level12 level56 level68 ) ( sum level12 level57 level69 ) ( sum level12 level58 level70 ) ( sum level12 level59 level71 ) ( sum level12 level60 level72 ) ( sum level12 level61 level73 ) ( sum level12 level62 level74 ) ( sum level12 level63 level75 ) ( sum level12 level64 level76 ) ( sum level12 level65 level77 ) ( sum level13 level0 level13 ) ( sum level13 level1 level14 ) ( sum level13 level2 level15 ) ( sum level13 level3 level16 ) ( sum level13 level4 level17 ) ( sum level13 level5 level18 ) ( sum level13 level6 level19 ) ( sum level13 level7 level20 ) ( sum level13 level8 level21 ) ( sum level13 level9 level22 ) ( sum level13 level10 level23 ) ( sum level13 level11 level24 ) ( sum level13 level12 level25 ) ( sum level13 level13 level26 ) ( sum level13 level14 level27 ) ( sum level13 level15 level28 ) ( sum level13 level16 level29 ) ( sum level13 level17 level30 ) ( sum level13 level18 level31 ) ( sum level13 level19 level32 ) ( sum level13 level20 level33 ) ( sum level13 level21 level34 ) ( sum level13 level22 level35 ) ( sum level13 level23 level36 ) ( sum level13 level24 level37 ) ( sum level13 level25 level38 ) ( sum level13 level26 level39 ) ( sum level13 level27 level40 ) ( sum level13 level28 level41 ) ( sum level13 level29 level42 ) ( sum level13 level30 level43 ) ( sum level13 level31 level44 ) ( sum level13 level32 level45 ) ( sum level13 level33 level46 ) ( sum level13 level34 level47 ) ( sum level13 level35 level48 ) ( sum level13 level36 level49 ) ( sum level13 level37 level50 ) ( sum level13 level38 level51 ) ( sum level13 level39 level52 ) ( sum level13 level40 level53 ) ( sum level13 level41 level54 ) ( sum level13 level42 level55 ) ( sum level13 level43 level56 ) ( sum level13 level44 level57 ) ( sum level13 level45 level58 ) ( sum level13 level46 level59 ) ( sum level13 level47 level60 ) ( sum level13 level48 level61 ) ( sum level13 level49 level62 ) ( sum level13 level50 level63 ) ( sum level13 level51 level64 ) ( sum level13 level52 level65 ) ( sum level13 level53 level66 ) ( sum level13 level54 level67 ) ( sum level13 level55 level68 ) ( sum level13 level56 level69 ) ( sum level13 level57 level70 ) ( sum level13 level58 level71 ) ( sum level13 level59 level72 ) ( sum level13 level60 level73 ) ( sum level13 level61 level74 ) ( sum level13 level62 level75 ) ( sum level13 level63 level76 ) ( sum level13 level64 level77 ) ( sum level14 level0 level14 ) ( sum level14 level1 level15 ) ( sum level14 level2 level16 ) ( sum level14 level3 level17 ) ( sum level14 level4 level18 ) ( sum level14 level5 level19 ) ( sum level14 level6 level20 ) ( sum level14 level7 level21 ) ( sum level14 level8 level22 ) ( sum level14 level9 level23 ) ( sum level14 level10 level24 ) ( sum level14 level11 level25 ) ( sum level14 level12 level26 ) ( sum level14 level13 level27 ) ( sum level14 level14 level28 ) ( sum level14 level15 level29 ) ( sum level14 level16 level30 ) ( sum level14 level17 level31 ) ( sum level14 level18 level32 ) ( sum level14 level19 level33 ) ( sum level14 level20 level34 ) ( sum level14 level21 level35 ) ( sum level14 level22 level36 ) ( sum level14 level23 level37 ) ( sum level14 level24 level38 ) ( sum level14 level25 level39 ) ( sum level14 level26 level40 ) ( sum level14 level27 level41 ) ( sum level14 level28 level42 ) ( sum level14 level29 level43 ) ( sum level14 level30 level44 ) ( sum level14 level31 level45 ) ( sum level14 level32 level46 ) ( sum level14 level33 level47 ) ( sum level14 level34 level48 ) ( sum level14 level35 level49 ) ( sum level14 level36 level50 ) ( sum level14 level37 level51 ) ( sum level14 level38 level52 ) ( sum level14 level39 level53 ) ( sum level14 level40 level54 ) ( sum level14 level41 level55 ) ( sum level14 level42 level56 ) ( sum level14 level43 level57 ) ( sum level14 level44 level58 ) ( sum level14 level45 level59 ) ( sum level14 level46 level60 ) ( sum level14 level47 level61 ) ( sum level14 level48 level62 ) ( sum level14 level49 level63 ) ( sum level14 level50 level64 ) ( sum level14 level51 level65 ) ( sum level14 level52 level66 ) ( sum level14 level53 level67 ) ( sum level14 level54 level68 ) ( sum level14 level55 level69 ) ( sum level14 level56 level70 ) ( sum level14 level57 level71 ) ( sum level14 level58 level72 ) ( sum level14 level59 level73 ) ( sum level14 level60 level74 ) ( sum level14 level61 level75 ) ( sum level14 level62 level76 ) ( sum level14 level63 level77 ) ( sum level15 level0 level15 ) ( sum level15 level1 level16 ) ( sum level15 level2 level17 ) ( sum level15 level3 level18 ) ( sum level15 level4 level19 ) ( sum level15 level5 level20 ) ( sum level15 level6 level21 ) ( sum level15 level7 level22 ) ( sum level15 level8 level23 ) ( sum level15 level9 level24 ) ( sum level15 level10 level25 ) ( sum level15 level11 level26 ) ( sum level15 level12 level27 ) ( sum level15 level13 level28 ) ( sum level15 level14 level29 ) ( sum level15 level15 level30 ) ( sum level15 level16 level31 ) ( sum level15 level17 level32 ) ( sum level15 level18 level33 ) ( sum level15 level19 level34 ) ( sum level15 level20 level35 ) ( sum level15 level21 level36 ) ( sum level15 level22 level37 ) ( sum level15 level23 level38 ) ( sum level15 level24 level39 ) ( sum level15 level25 level40 ) ( sum level15 level26 level41 ) ( sum level15 level27 level42 ) ( sum level15 level28 level43 ) ( sum level15 level29 level44 ) ( sum level15 level30 level45 ) ( sum level15 level31 level46 ) ( sum level15 level32 level47 ) ( sum level15 level33 level48 ) ( sum level15 level34 level49 ) ( sum level15 level35 level50 ) ( sum level15 level36 level51 ) ( sum level15 level37 level52 ) ( sum level15 level38 level53 ) ( sum level15 level39 level54 ) ( sum level15 level40 level55 ) ( sum level15 level41 level56 ) ( sum level15 level42 level57 ) ( sum level15 level43 level58 ) ( sum level15 level44 level59 ) ( sum level15 level45 level60 ) ( sum level15 level46 level61 ) ( sum level15 level47 level62 ) ( sum level15 level48 level63 ) ( sum level15 level49 level64 ) ( sum level15 level50 level65 ) ( sum level15 level51 level66 ) ( sum level15 level52 level67 ) ( sum level15 level53 level68 ) ( sum level15 level54 level69 ) ( sum level15 level55 level70 ) ( sum level15 level56 level71 ) ( sum level15 level57 level72 ) ( sum level15 level58 level73 ) ( sum level15 level59 level74 ) ( sum level15 level60 level75 ) ( sum level15 level61 level76 ) ( sum level15 level62 level77 ) ( sum level16 level0 level16 ) ( sum level16 level1 level17 ) ( sum level16 level2 level18 ) ( sum level16 level3 level19 ) ( sum level16 level4 level20 ) ( sum level16 level5 level21 ) ( sum level16 level6 level22 ) ( sum level16 level7 level23 ) ( sum level16 level8 level24 ) ( sum level16 level9 level25 ) ( sum level16 level10 level26 ) ( sum level16 level11 level27 ) ( sum level16 level12 level28 ) ( sum level16 level13 level29 ) ( sum level16 level14 level30 ) ( sum level16 level15 level31 ) ( sum level16 level16 level32 ) ( sum level16 level17 level33 ) ( sum level16 level18 level34 ) ( sum level16 level19 level35 ) ( sum level16 level20 level36 ) ( sum level16 level21 level37 ) ( sum level16 level22 level38 ) ( sum level16 level23 level39 ) ( sum level16 level24 level40 ) ( sum level16 level25 level41 ) ( sum level16 level26 level42 ) ( sum level16 level27 level43 ) ( sum level16 level28 level44 ) ( sum level16 level29 level45 ) ( sum level16 level30 level46 ) ( sum level16 level31 level47 ) ( sum level16 level32 level48 ) ( sum level16 level33 level49 ) ( sum level16 level34 level50 ) ( sum level16 level35 level51 ) ( sum level16 level36 level52 ) ( sum level16 level37 level53 ) ( sum level16 level38 level54 ) ( sum level16 level39 level55 ) ( sum level16 level40 level56 ) ( sum level16 level41 level57 ) ( sum level16 level42 level58 ) ( sum level16 level43 level59 ) ( sum level16 level44 level60 ) ( sum level16 level45 level61 ) ( sum level16 level46 level62 ) ( sum level16 level47 level63 ) ( sum level16 level48 level64 ) ( sum level16 level49 level65 ) ( sum level16 level50 level66 ) ( sum level16 level51 level67 ) ( sum level16 level52 level68 ) ( sum level16 level53 level69 ) ( sum level16 level54 level70 ) ( sum level16 level55 level71 ) ( sum level16 level56 level72 ) ( sum level16 level57 level73 ) ( sum level16 level58 level74 ) ( sum level16 level59 level75 ) ( sum level16 level60 level76 ) ( sum level16 level61 level77 ) ( sum level17 level0 level17 ) ( sum level17 level1 level18 ) ( sum level17 level2 level19 ) ( sum level17 level3 level20 ) ( sum level17 level4 level21 ) ( sum level17 level5 level22 ) ( sum level17 level6 level23 ) ( sum level17 level7 level24 ) ( sum level17 level8 level25 ) ( sum level17 level9 level26 ) ( sum level17 level10 level27 ) ( sum level17 level11 level28 ) ( sum level17 level12 level29 ) ( sum level17 level13 level30 ) ( sum level17 level14 level31 ) ( sum level17 level15 level32 ) ( sum level17 level16 level33 ) ( sum level17 level17 level34 ) ( sum level17 level18 level35 ) ( sum level17 level19 level36 ) ( sum level17 level20 level37 ) ( sum level17 level21 level38 ) ( sum level17 level22 level39 ) ( sum level17 level23 level40 ) ( sum level17 level24 level41 ) ( sum level17 level25 level42 ) ( sum level17 level26 level43 ) ( sum level17 level27 level44 ) ( sum level17 level28 level45 ) ( sum level17 level29 level46 ) ( sum level17 level30 level47 ) ( sum level17 level31 level48 ) ( sum level17 level32 level49 ) ( sum level17 level33 level50 ) ( sum level17 level34 level51 ) ( sum level17 level35 level52 ) ( sum level17 level36 level53 ) ( sum level17 level37 level54 ) ( sum level17 level38 level55 ) ( sum level17 level39 level56 ) ( sum level17 level40 level57 ) ( sum level17 level41 level58 ) ( sum level17 level42 level59 ) ( sum level17 level43 level60 ) ( sum level17 level44 level61 ) ( sum level17 level45 level62 ) ( sum level17 level46 level63 ) ( sum level17 level47 level64 ) ( sum level17 level48 level65 ) ( sum level17 level49 level66 ) ( sum level17 level50 level67 ) ( sum level17 level51 level68 ) ( sum level17 level52 level69 ) ( sum level17 level53 level70 ) ( sum level17 level54 level71 ) ( sum level17 level55 level72 ) ( sum level17 level56 level73 ) ( sum level17 level57 level74 ) ( sum level17 level58 level75 ) ( sum level17 level59 level76 ) ( sum level17 level60 level77 ) ( sum level18 level0 level18 ) ( sum level18 level1 level19 ) ( sum level18 level2 level20 ) ( sum level18 level3 level21 ) ( sum level18 level4 level22 ) ( sum level18 level5 level23 ) ( sum level18 level6 level24 ) ( sum level18 level7 level25 ) ( sum level18 level8 level26 ) ( sum level18 level9 level27 ) ( sum level18 level10 level28 ) ( sum level18 level11 level29 ) ( sum level18 level12 level30 ) ( sum level18 level13 level31 ) ( sum level18 level14 level32 ) ( sum level18 level15 level33 ) ( sum level18 level16 level34 ) ( sum level18 level17 level35 ) ( sum level18 level18 level36 ) ( sum level18 level19 level37 ) ( sum level18 level20 level38 ) ( sum level18 level21 level39 ) ( sum level18 level22 level40 ) ( sum level18 level23 level41 ) ( sum level18 level24 level42 ) ( sum level18 level25 level43 ) ( sum level18 level26 level44 ) ( sum level18 level27 level45 ) ( sum level18 level28 level46 ) ( sum level18 level29 level47 ) ( sum level18 level30 level48 ) ( sum level18 level31 level49 ) ( sum level18 level32 level50 ) ( sum level18 level33 level51 ) ( sum level18 level34 level52 ) ( sum level18 level35 level53 ) ( sum level18 level36 level54 ) ( sum level18 level37 level55 ) ( sum level18 level38 level56 ) ( sum level18 level39 level57 ) ( sum level18 level40 level58 ) ( sum level18 level41 level59 ) ( sum level18 level42 level60 ) ( sum level18 level43 level61 ) ( sum level18 level44 level62 ) ( sum level18 level45 level63 ) ( sum level18 level46 level64 ) ( sum level18 level47 level65 ) ( sum level18 level48 level66 ) ( sum level18 level49 level67 ) ( sum level18 level50 level68 ) ( sum level18 level51 level69 ) ( sum level18 level52 level70 ) ( sum level18 level53 level71 ) ( sum level18 level54 level72 ) ( sum level18 level55 level73 ) ( sum level18 level56 level74 ) ( sum level18 level57 level75 ) ( sum level18 level58 level76 ) ( sum level18 level59 level77 ) ( sum level19 level0 level19 ) ( sum level19 level1 level20 ) ( sum level19 level2 level21 ) ( sum level19 level3 level22 ) ( sum level19 level4 level23 ) ( sum level19 level5 level24 ) ( sum level19 level6 level25 ) ( sum level19 level7 level26 ) ( sum level19 level8 level27 ) ( sum level19 level9 level28 ) ( sum level19 level10 level29 ) ( sum level19 level11 level30 ) ( sum level19 level12 level31 ) ( sum level19 level13 level32 ) ( sum level19 level14 level33 ) ( sum level19 level15 level34 ) ( sum level19 level16 level35 ) ( sum level19 level17 level36 ) ( sum level19 level18 level37 ) ( sum level19 level19 level38 ) ( sum level19 level20 level39 ) ( sum level19 level21 level40 ) ( sum level19 level22 level41 ) ( sum level19 level23 level42 ) ( sum level19 level24 level43 ) ( sum level19 level25 level44 ) ( sum level19 level26 level45 ) ( sum level19 level27 level46 ) ( sum level19 level28 level47 ) ( sum level19 level29 level48 ) ( sum level19 level30 level49 ) ( sum level19 level31 level50 ) ( sum level19 level32 level51 ) ( sum level19 level33 level52 ) ( sum level19 level34 level53 ) ( sum level19 level35 level54 ) ( sum level19 level36 level55 ) ( sum level19 level37 level56 ) ( sum level19 level38 level57 ) ( sum level19 level39 level58 ) ( sum level19 level40 level59 ) ( sum level19 level41 level60 ) ( sum level19 level42 level61 ) ( sum level19 level43 level62 ) ( sum level19 level44 level63 ) ( sum level19 level45 level64 ) ( sum level19 level46 level65 ) ( sum level19 level47 level66 ) ( sum level19 level48 level67 ) ( sum level19 level49 level68 ) ( sum level19 level50 level69 ) ( sum level19 level51 level70 ) ( sum level19 level52 level71 ) ( sum level19 level53 level72 ) ( sum level19 level54 level73 ) ( sum level19 level55 level74 ) ( sum level19 level56 level75 ) ( sum level19 level57 level76 ) ( sum level19 level58 level77 ) ( sum level20 level0 level20 ) ( sum level20 level1 level21 ) ( sum level20 level2 level22 ) ( sum level20 level3 level23 ) ( sum level20 level4 level24 ) ( sum level20 level5 level25 ) ( sum level20 level6 level26 ) ( sum level20 level7 level27 ) ( sum level20 level8 level28 ) ( sum level20 level9 level29 ) ( sum level20 level10 level30 ) ( sum level20 level11 level31 ) ( sum level20 level12 level32 ) ( sum level20 level13 level33 ) ( sum level20 level14 level34 ) ( sum level20 level15 level35 ) ( sum level20 level16 level36 ) ( sum level20 level17 level37 ) ( sum level20 level18 level38 ) ( sum level20 level19 level39 ) ( sum level20 level20 level40 ) ( sum level20 level21 level41 ) ( sum level20 level22 level42 ) ( sum level20 level23 level43 ) ( sum level20 level24 level44 ) ( sum level20 level25 level45 ) ( sum level20 level26 level46 ) ( sum level20 level27 level47 ) ( sum level20 level28 level48 ) ( sum level20 level29 level49 ) ( sum level20 level30 level50 ) ( sum level20 level31 level51 ) ( sum level20 level32 level52 ) ( sum level20 level33 level53 ) ( sum level20 level34 level54 ) ( sum level20 level35 level55 ) ( sum level20 level36 level56 ) ( sum level20 level37 level57 ) ( sum level20 level38 level58 ) ( sum level20 level39 level59 ) ( sum level20 level40 level60 ) ( sum level20 level41 level61 ) ( sum level20 level42 level62 ) ( sum level20 level43 level63 ) ( sum level20 level44 level64 ) ( sum level20 level45 level65 ) ( sum level20 level46 level66 ) ( sum level20 level47 level67 ) ( sum level20 level48 level68 ) ( sum level20 level49 level69 ) ( sum level20 level50 level70 ) ( sum level20 level51 level71 ) ( sum level20 level52 level72 ) ( sum level20 level53 level73 ) ( sum level20 level54 level74 ) ( sum level20 level55 level75 ) ( sum level20 level56 level76 ) ( sum level20 level57 level77 ) ( sum level21 level0 level21 ) ( sum level21 level1 level22 ) ( sum level21 level2 level23 ) ( sum level21 level3 level24 ) ( sum level21 level4 level25 ) ( sum level21 level5 level26 ) ( sum level21 level6 level27 ) ( sum level21 level7 level28 ) ( sum level21 level8 level29 ) ( sum level21 level9 level30 ) ( sum level21 level10 level31 ) ( sum level21 level11 level32 ) ( sum level21 level12 level33 ) ( sum level21 level13 level34 ) ( sum level21 level14 level35 ) ( sum level21 level15 level36 ) ( sum level21 level16 level37 ) ( sum level21 level17 level38 ) ( sum level21 level18 level39 ) ( sum level21 level19 level40 ) ( sum level21 level20 level41 ) ( sum level21 level21 level42 ) ( sum level21 level22 level43 ) ( sum level21 level23 level44 ) ( sum level21 level24 level45 ) ( sum level21 level25 level46 ) ( sum level21 level26 level47 ) ( sum level21 level27 level48 ) ( sum level21 level28 level49 ) ( sum level21 level29 level50 ) ( sum level21 level30 level51 ) ( sum level21 level31 level52 ) ( sum level21 level32 level53 ) ( sum level21 level33 level54 ) ( sum level21 level34 level55 ) ( sum level21 level35 level56 ) ( sum level21 level36 level57 ) ( sum level21 level37 level58 ) ( sum level21 level38 level59 ) ( sum level21 level39 level60 ) ( sum level21 level40 level61 ) ( sum level21 level41 level62 ) ( sum level21 level42 level63 ) ( sum level21 level43 level64 ) ( sum level21 level44 level65 ) ( sum level21 level45 level66 ) ( sum level21 level46 level67 ) ( sum level21 level47 level68 ) ( sum level21 level48 level69 ) ( sum level21 level49 level70 ) ( sum level21 level50 level71 ) ( sum level21 level51 level72 ) ( sum level21 level52 level73 ) ( sum level21 level53 level74 ) ( sum level21 level54 level75 ) ( sum level21 level55 level76 ) ( sum level21 level56 level77 ) ( sum level22 level0 level22 ) ( sum level22 level1 level23 ) ( sum level22 level2 level24 ) ( sum level22 level3 level25 ) ( sum level22 level4 level26 ) ( sum level22 level5 level27 ) ( sum level22 level6 level28 ) ( sum level22 level7 level29 ) ( sum level22 level8 level30 ) ( sum level22 level9 level31 ) ( sum level22 level10 level32 ) ( sum level22 level11 level33 ) ( sum level22 level12 level34 ) ( sum level22 level13 level35 ) ( sum level22 level14 level36 ) ( sum level22 level15 level37 ) ( sum level22 level16 level38 ) ( sum level22 level17 level39 ) ( sum level22 level18 level40 ) ( sum level22 level19 level41 ) ( sum level22 level20 level42 ) ( sum level22 level21 level43 ) ( sum level22 level22 level44 ) ( sum level22 level23 level45 ) ( sum level22 level24 level46 ) ( sum level22 level25 level47 ) ( sum level22 level26 level48 ) ( sum level22 level27 level49 ) ( sum level22 level28 level50 ) ( sum level22 level29 level51 ) ( sum level22 level30 level52 ) ( sum level22 level31 level53 ) ( sum level22 level32 level54 ) ( sum level22 level33 level55 ) ( sum level22 level34 level56 ) ( sum level22 level35 level57 ) ( sum level22 level36 level58 ) ( sum level22 level37 level59 ) ( sum level22 level38 level60 ) ( sum level22 level39 level61 ) ( sum level22 level40 level62 ) ( sum level22 level41 level63 ) ( sum level22 level42 level64 ) ( sum level22 level43 level65 ) ( sum level22 level44 level66 ) ( sum level22 level45 level67 ) ( sum level22 level46 level68 ) ( sum level22 level47 level69 ) ( sum level22 level48 level70 ) ( sum level22 level49 level71 ) ( sum level22 level50 level72 ) ( sum level22 level51 level73 ) ( sum level22 level52 level74 ) ( sum level22 level53 level75 ) ( sum level22 level54 level76 ) ( sum level22 level55 level77 ) ( sum level23 level0 level23 ) ( sum level23 level1 level24 ) ( sum level23 level2 level25 ) ( sum level23 level3 level26 ) ( sum level23 level4 level27 ) ( sum level23 level5 level28 ) ( sum level23 level6 level29 ) ( sum level23 level7 level30 ) ( sum level23 level8 level31 ) ( sum level23 level9 level32 ) ( sum level23 level10 level33 ) ( sum level23 level11 level34 ) ( sum level23 level12 level35 ) ( sum level23 level13 level36 ) ( sum level23 level14 level37 ) ( sum level23 level15 level38 ) ( sum level23 level16 level39 ) ( sum level23 level17 level40 ) ( sum level23 level18 level41 ) ( sum level23 level19 level42 ) ( sum level23 level20 level43 ) ( sum level23 level21 level44 ) ( sum level23 level22 level45 ) ( sum level23 level23 level46 ) ( sum level23 level24 level47 ) ( sum level23 level25 level48 ) ( sum level23 level26 level49 ) ( sum level23 level27 level50 ) ( sum level23 level28 level51 ) ( sum level23 level29 level52 ) ( sum level23 level30 level53 ) ( sum level23 level31 level54 ) ( sum level23 level32 level55 ) ( sum level23 level33 level56 ) ( sum level23 level34 level57 ) ( sum level23 level35 level58 ) ( sum level23 level36 level59 ) ( sum level23 level37 level60 ) ( sum level23 level38 level61 ) ( sum level23 level39 level62 ) ( sum level23 level40 level63 ) ( sum level23 level41 level64 ) ( sum level23 level42 level65 ) ( sum level23 level43 level66 ) ( sum level23 level44 level67 ) ( sum level23 level45 level68 ) ( sum level23 level46 level69 ) ( sum level23 level47 level70 ) ( sum level23 level48 level71 ) ( sum level23 level49 level72 ) ( sum level23 level50 level73 ) ( sum level23 level51 level74 ) ( sum level23 level52 level75 ) ( sum level23 level53 level76 ) ( sum level23 level54 level77 ) ( sum level24 level0 level24 ) ( sum level24 level1 level25 ) ( sum level24 level2 level26 ) ( sum level24 level3 level27 ) ( sum level24 level4 level28 ) ( sum level24 level5 level29 ) ( sum level24 level6 level30 ) ( sum level24 level7 level31 ) ( sum level24 level8 level32 ) ( sum level24 level9 level33 ) ( sum level24 level10 level34 ) ( sum level24 level11 level35 ) ( sum level24 level12 level36 ) ( sum level24 level13 level37 ) ( sum level24 level14 level38 ) ( sum level24 level15 level39 ) ( sum level24 level16 level40 ) ( sum level24 level17 level41 ) ( sum level24 level18 level42 ) ( sum level24 level19 level43 ) ( sum level24 level20 level44 ) ( sum level24 level21 level45 ) ( sum level24 level22 level46 ) ( sum level24 level23 level47 ) ( sum level24 level24 level48 ) ( sum level24 level25 level49 ) ( sum level24 level26 level50 ) ( sum level24 level27 level51 ) ( sum level24 level28 level52 ) ( sum level24 level29 level53 ) ( sum level24 level30 level54 ) ( sum level24 level31 level55 ) ( sum level24 level32 level56 ) ( sum level24 level33 level57 ) ( sum level24 level34 level58 ) ( sum level24 level35 level59 ) ( sum level24 level36 level60 ) ( sum level24 level37 level61 ) ( sum level24 level38 level62 ) ( sum level24 level39 level63 ) ( sum level24 level40 level64 ) ( sum level24 level41 level65 ) ( sum level24 level42 level66 ) ( sum level24 level43 level67 ) ( sum level24 level44 level68 ) ( sum level24 level45 level69 ) ( sum level24 level46 level70 ) ( sum level24 level47 level71 ) ( sum level24 level48 level72 ) ( sum level24 level49 level73 ) ( sum level24 level50 level74 ) ( sum level24 level51 level75 ) ( sum level24 level52 level76 ) ( sum level24 level53 level77 ) ( sum level25 level0 level25 ) ( sum level25 level1 level26 ) ( sum level25 level2 level27 ) ( sum level25 level3 level28 ) ( sum level25 level4 level29 ) ( sum level25 level5 level30 ) ( sum level25 level6 level31 ) ( sum level25 level7 level32 ) ( sum level25 level8 level33 ) ( sum level25 level9 level34 ) ( sum level25 level10 level35 ) ( sum level25 level11 level36 ) ( sum level25 level12 level37 ) ( sum level25 level13 level38 ) ( sum level25 level14 level39 ) ( sum level25 level15 level40 ) ( sum level25 level16 level41 ) ( sum level25 level17 level42 ) ( sum level25 level18 level43 ) ( sum level25 level19 level44 ) ( sum level25 level20 level45 ) ( sum level25 level21 level46 ) ( sum level25 level22 level47 ) ( sum level25 level23 level48 ) ( sum level25 level24 level49 ) ( sum level25 level25 level50 ) ( sum level25 level26 level51 ) ( sum level25 level27 level52 ) ( sum level25 level28 level53 ) ( sum level25 level29 level54 ) ( sum level25 level30 level55 ) ( sum level25 level31 level56 ) ( sum level25 level32 level57 ) ( sum level25 level33 level58 ) ( sum level25 level34 level59 ) ( sum level25 level35 level60 ) ( sum level25 level36 level61 ) ( sum level25 level37 level62 ) ( sum level25 level38 level63 ) ( sum level25 level39 level64 ) ( sum level25 level40 level65 ) ( sum level25 level41 level66 ) ( sum level25 level42 level67 ) ( sum level25 level43 level68 ) ( sum level25 level44 level69 ) ( sum level25 level45 level70 ) ( sum level25 level46 level71 ) ( sum level25 level47 level72 ) ( sum level25 level48 level73 ) ( sum level25 level49 level74 ) ( sum level25 level50 level75 ) ( sum level25 level51 level76 ) ( sum level25 level52 level77 ) ( sum level26 level0 level26 ) ( sum level26 level1 level27 ) ( sum level26 level2 level28 ) ( sum level26 level3 level29 ) ( sum level26 level4 level30 ) ( sum level26 level5 level31 ) ( sum level26 level6 level32 ) ( sum level26 level7 level33 ) ( sum level26 level8 level34 ) ( sum level26 level9 level35 ) ( sum level26 level10 level36 ) ( sum level26 level11 level37 ) ( sum level26 level12 level38 ) ( sum level26 level13 level39 ) ( sum level26 level14 level40 ) ( sum level26 level15 level41 ) ( sum level26 level16 level42 ) ( sum level26 level17 level43 ) ( sum level26 level18 level44 ) ( sum level26 level19 level45 ) ( sum level26 level20 level46 ) ( sum level26 level21 level47 ) ( sum level26 level22 level48 ) ( sum level26 level23 level49 ) ( sum level26 level24 level50 ) ( sum level26 level25 level51 ) ( sum level26 level26 level52 ) ( sum level26 level27 level53 ) ( sum level26 level28 level54 ) ( sum level26 level29 level55 ) ( sum level26 level30 level56 ) ( sum level26 level31 level57 ) ( sum level26 level32 level58 ) ( sum level26 level33 level59 ) ( sum level26 level34 level60 ) ( sum level26 level35 level61 ) ( sum level26 level36 level62 ) ( sum level26 level37 level63 ) ( sum level26 level38 level64 ) ( sum level26 level39 level65 ) ( sum level26 level40 level66 ) ( sum level26 level41 level67 ) ( sum level26 level42 level68 ) ( sum level26 level43 level69 ) ( sum level26 level44 level70 ) ( sum level26 level45 level71 ) ( sum level26 level46 level72 ) ( sum level26 level47 level73 ) ( sum level26 level48 level74 ) ( sum level26 level49 level75 ) ( sum level26 level50 level76 ) ( sum level26 level51 level77 ) ( sum level27 level0 level27 ) ( sum level27 level1 level28 ) ( sum level27 level2 level29 ) ( sum level27 level3 level30 ) ( sum level27 level4 level31 ) ( sum level27 level5 level32 ) ( sum level27 level6 level33 ) ( sum level27 level7 level34 ) ( sum level27 level8 level35 ) ( sum level27 level9 level36 ) ( sum level27 level10 level37 ) ( sum level27 level11 level38 ) ( sum level27 level12 level39 ) ( sum level27 level13 level40 ) ( sum level27 level14 level41 ) ( sum level27 level15 level42 ) ( sum level27 level16 level43 ) ( sum level27 level17 level44 ) ( sum level27 level18 level45 ) ( sum level27 level19 level46 ) ( sum level27 level20 level47 ) ( sum level27 level21 level48 ) ( sum level27 level22 level49 ) ( sum level27 level23 level50 ) ( sum level27 level24 level51 ) ( sum level27 level25 level52 ) ( sum level27 level26 level53 ) ( sum level27 level27 level54 ) ( sum level27 level28 level55 ) ( sum level27 level29 level56 ) ( sum level27 level30 level57 ) ( sum level27 level31 level58 ) ( sum level27 level32 level59 ) ( sum level27 level33 level60 ) ( sum level27 level34 level61 ) ( sum level27 level35 level62 ) ( sum level27 level36 level63 ) ( sum level27 level37 level64 ) ( sum level27 level38 level65 ) ( sum level27 level39 level66 ) ( sum level27 level40 level67 ) ( sum level27 level41 level68 ) ( sum level27 level42 level69 ) ( sum level27 level43 level70 ) ( sum level27 level44 level71 ) ( sum level27 level45 level72 ) ( sum level27 level46 level73 ) ( sum level27 level47 level74 ) ( sum level27 level48 level75 ) ( sum level27 level49 level76 ) ( sum level27 level50 level77 ) ( sum level28 level0 level28 ) ( sum level28 level1 level29 ) ( sum level28 level2 level30 ) ( sum level28 level3 level31 ) ( sum level28 level4 level32 ) ( sum level28 level5 level33 ) ( sum level28 level6 level34 ) ( sum level28 level7 level35 ) ( sum level28 level8 level36 ) ( sum level28 level9 level37 ) ( sum level28 level10 level38 ) ( sum level28 level11 level39 ) ( sum level28 level12 level40 ) ( sum level28 level13 level41 ) ( sum level28 level14 level42 ) ( sum level28 level15 level43 ) ( sum level28 level16 level44 ) ( sum level28 level17 level45 ) ( sum level28 level18 level46 ) ( sum level28 level19 level47 ) ( sum level28 level20 level48 ) ( sum level28 level21 level49 ) ( sum level28 level22 level50 ) ( sum level28 level23 level51 ) ( sum level28 level24 level52 ) ( sum level28 level25 level53 ) ( sum level28 level26 level54 ) ( sum level28 level27 level55 ) ( sum level28 level28 level56 ) ( sum level28 level29 level57 ) ( sum level28 level30 level58 ) ( sum level28 level31 level59 ) ( sum level28 level32 level60 ) ( sum level28 level33 level61 ) ( sum level28 level34 level62 ) ( sum level28 level35 level63 ) ( sum level28 level36 level64 ) ( sum level28 level37 level65 ) ( sum level28 level38 level66 ) ( sum level28 level39 level67 ) ( sum level28 level40 level68 ) ( sum level28 level41 level69 ) ( sum level28 level42 level70 ) ( sum level28 level43 level71 ) ( sum level28 level44 level72 ) ( sum level28 level45 level73 ) ( sum level28 level46 level74 ) ( sum level28 level47 level75 ) ( sum level28 level48 level76 ) ( sum level28 level49 level77 ) ( sum level29 level0 level29 ) ( sum level29 level1 level30 ) ( sum level29 level2 level31 ) ( sum level29 level3 level32 ) ( sum level29 level4 level33 ) ( sum level29 level5 level34 ) ( sum level29 level6 level35 ) ( sum level29 level7 level36 ) ( sum level29 level8 level37 ) ( sum level29 level9 level38 ) ( sum level29 level10 level39 ) ( sum level29 level11 level40 ) ( sum level29 level12 level41 ) ( sum level29 level13 level42 ) ( sum level29 level14 level43 ) ( sum level29 level15 level44 ) ( sum level29 level16 level45 ) ( sum level29 level17 level46 ) ( sum level29 level18 level47 ) ( sum level29 level19 level48 ) ( sum level29 level20 level49 ) ( sum level29 level21 level50 ) ( sum level29 level22 level51 ) ( sum level29 level23 level52 ) ( sum level29 level24 level53 ) ( sum level29 level25 level54 ) ( sum level29 level26 level55 ) ( sum level29 level27 level56 ) ( sum level29 level28 level57 ) ( sum level29 level29 level58 ) ( sum level29 level30 level59 ) ( sum level29 level31 level60 ) ( sum level29 level32 level61 ) ( sum level29 level33 level62 ) ( sum level29 level34 level63 ) ( sum level29 level35 level64 ) ( sum level29 level36 level65 ) ( sum level29 level37 level66 ) ( sum level29 level38 level67 ) ( sum level29 level39 level68 ) ( sum level29 level40 level69 ) ( sum level29 level41 level70 ) ( sum level29 level42 level71 ) ( sum level29 level43 level72 ) ( sum level29 level44 level73 ) ( sum level29 level45 level74 ) ( sum level29 level46 level75 ) ( sum level29 level47 level76 ) ( sum level29 level48 level77 ) ( sum level30 level0 level30 ) ( sum level30 level1 level31 ) ( sum level30 level2 level32 ) ( sum level30 level3 level33 ) ( sum level30 level4 level34 ) ( sum level30 level5 level35 ) ( sum level30 level6 level36 ) ( sum level30 level7 level37 ) ( sum level30 level8 level38 ) ( sum level30 level9 level39 ) ( sum level30 level10 level40 ) ( sum level30 level11 level41 ) ( sum level30 level12 level42 ) ( sum level30 level13 level43 ) ( sum level30 level14 level44 ) ( sum level30 level15 level45 ) ( sum level30 level16 level46 ) ( sum level30 level17 level47 ) ( sum level30 level18 level48 ) ( sum level30 level19 level49 ) ( sum level30 level20 level50 ) ( sum level30 level21 level51 ) ( sum level30 level22 level52 ) ( sum level30 level23 level53 ) ( sum level30 level24 level54 ) ( sum level30 level25 level55 ) ( sum level30 level26 level56 ) ( sum level30 level27 level57 ) ( sum level30 level28 level58 ) ( sum level30 level29 level59 ) ( sum level30 level30 level60 ) ( sum level30 level31 level61 ) ( sum level30 level32 level62 ) ( sum level30 level33 level63 ) ( sum level30 level34 level64 ) ( sum level30 level35 level65 ) ( sum level30 level36 level66 ) ( sum level30 level37 level67 ) ( sum level30 level38 level68 ) ( sum level30 level39 level69 ) ( sum level30 level40 level70 ) ( sum level30 level41 level71 ) ( sum level30 level42 level72 ) ( sum level30 level43 level73 ) ( sum level30 level44 level74 ) ( sum level30 level45 level75 ) ( sum level30 level46 level76 ) ( sum level30 level47 level77 ) ( sum level31 level0 level31 ) ( sum level31 level1 level32 ) ( sum level31 level2 level33 ) ( sum level31 level3 level34 ) ( sum level31 level4 level35 ) ( sum level31 level5 level36 ) ( sum level31 level6 level37 ) ( sum level31 level7 level38 ) ( sum level31 level8 level39 ) ( sum level31 level9 level40 ) ( sum level31 level10 level41 ) ( sum level31 level11 level42 ) ( sum level31 level12 level43 ) ( sum level31 level13 level44 ) ( sum level31 level14 level45 ) ( sum level31 level15 level46 ) ( sum level31 level16 level47 ) ( sum level31 level17 level48 ) ( sum level31 level18 level49 ) ( sum level31 level19 level50 ) ( sum level31 level20 level51 ) ( sum level31 level21 level52 ) ( sum level31 level22 level53 ) ( sum level31 level23 level54 ) ( sum level31 level24 level55 ) ( sum level31 level25 level56 ) ( sum level31 level26 level57 ) ( sum level31 level27 level58 ) ( sum level31 level28 level59 ) ( sum level31 level29 level60 ) ( sum level31 level30 level61 ) ( sum level31 level31 level62 ) ( sum level31 level32 level63 ) ( sum level31 level33 level64 ) ( sum level31 level34 level65 ) ( sum level31 level35 level66 ) ( sum level31 level36 level67 ) ( sum level31 level37 level68 ) ( sum level31 level38 level69 ) ( sum level31 level39 level70 ) ( sum level31 level40 level71 ) ( sum level31 level41 level72 ) ( sum level31 level42 level73 ) ( sum level31 level43 level74 ) ( sum level31 level44 level75 ) ( sum level31 level45 level76 ) ( sum level31 level46 level77 ) ( sum level32 level0 level32 ) ( sum level32 level1 level33 ) ( sum level32 level2 level34 ) ( sum level32 level3 level35 ) ( sum level32 level4 level36 ) ( sum level32 level5 level37 ) ( sum level32 level6 level38 ) ( sum level32 level7 level39 ) ( sum level32 level8 level40 ) ( sum level32 level9 level41 ) ( sum level32 level10 level42 ) ( sum level32 level11 level43 ) ( sum level32 level12 level44 ) ( sum level32 level13 level45 ) ( sum level32 level14 level46 ) ( sum level32 level15 level47 ) ( sum level32 level16 level48 ) ( sum level32 level17 level49 ) ( sum level32 level18 level50 ) ( sum level32 level19 level51 ) ( sum level32 level20 level52 ) ( sum level32 level21 level53 ) ( sum level32 level22 level54 ) ( sum level32 level23 level55 ) ( sum level32 level24 level56 ) ( sum level32 level25 level57 ) ( sum level32 level26 level58 ) ( sum level32 level27 level59 ) ( sum level32 level28 level60 ) ( sum level32 level29 level61 ) ( sum level32 level30 level62 ) ( sum level32 level31 level63 ) ( sum level32 level32 level64 ) ( sum level32 level33 level65 ) ( sum level32 level34 level66 ) ( sum level32 level35 level67 ) ( sum level32 level36 level68 ) ( sum level32 level37 level69 ) ( sum level32 level38 level70 ) ( sum level32 level39 level71 ) ( sum level32 level40 level72 ) ( sum level32 level41 level73 ) ( sum level32 level42 level74 ) ( sum level32 level43 level75 ) ( sum level32 level44 level76 ) ( sum level32 level45 level77 ) ( sum level33 level0 level33 ) ( sum level33 level1 level34 ) ( sum level33 level2 level35 ) ( sum level33 level3 level36 ) ( sum level33 level4 level37 ) ( sum level33 level5 level38 ) ( sum level33 level6 level39 ) ( sum level33 level7 level40 ) ( sum level33 level8 level41 ) ( sum level33 level9 level42 ) ( sum level33 level10 level43 ) ( sum level33 level11 level44 ) ( sum level33 level12 level45 ) ( sum level33 level13 level46 ) ( sum level33 level14 level47 ) ( sum level33 level15 level48 ) ( sum level33 level16 level49 ) ( sum level33 level17 level50 ) ( sum level33 level18 level51 ) ( sum level33 level19 level52 ) ( sum level33 level20 level53 ) ( sum level33 level21 level54 ) ( sum level33 level22 level55 ) ( sum level33 level23 level56 ) ( sum level33 level24 level57 ) ( sum level33 level25 level58 ) ( sum level33 level26 level59 ) ( sum level33 level27 level60 ) ( sum level33 level28 level61 ) ( sum level33 level29 level62 ) ( sum level33 level30 level63 ) ( sum level33 level31 level64 ) ( sum level33 level32 level65 ) ( sum level33 level33 level66 ) ( sum level33 level34 level67 ) ( sum level33 level35 level68 ) ( sum level33 level36 level69 ) ( sum level33 level37 level70 ) ( sum level33 level38 level71 ) ( sum level33 level39 level72 ) ( sum level33 level40 level73 ) ( sum level33 level41 level74 ) ( sum level33 level42 level75 ) ( sum level33 level43 level76 ) ( sum level33 level44 level77 ) ( sum level34 level0 level34 ) ( sum level34 level1 level35 ) ( sum level34 level2 level36 ) ( sum level34 level3 level37 ) ( sum level34 level4 level38 ) ( sum level34 level5 level39 ) ( sum level34 level6 level40 ) ( sum level34 level7 level41 ) ( sum level34 level8 level42 ) ( sum level34 level9 level43 ) ( sum level34 level10 level44 ) ( sum level34 level11 level45 ) ( sum level34 level12 level46 ) ( sum level34 level13 level47 ) ( sum level34 level14 level48 ) ( sum level34 level15 level49 ) ( sum level34 level16 level50 ) ( sum level34 level17 level51 ) ( sum level34 level18 level52 ) ( sum level34 level19 level53 ) ( sum level34 level20 level54 ) ( sum level34 level21 level55 ) ( sum level34 level22 level56 ) ( sum level34 level23 level57 ) ( sum level34 level24 level58 ) ( sum level34 level25 level59 ) ( sum level34 level26 level60 ) ( sum level34 level27 level61 ) ( sum level34 level28 level62 ) ( sum level34 level29 level63 ) ( sum level34 level30 level64 ) ( sum level34 level31 level65 ) ( sum level34 level32 level66 ) ( sum level34 level33 level67 ) ( sum level34 level34 level68 ) ( sum level34 level35 level69 ) ( sum level34 level36 level70 ) ( sum level34 level37 level71 ) ( sum level34 level38 level72 ) ( sum level34 level39 level73 ) ( sum level34 level40 level74 ) ( sum level34 level41 level75 ) ( sum level34 level42 level76 ) ( sum level34 level43 level77 ) ( sum level35 level0 level35 ) ( sum level35 level1 level36 ) ( sum level35 level2 level37 ) ( sum level35 level3 level38 ) ( sum level35 level4 level39 ) ( sum level35 level5 level40 ) ( sum level35 level6 level41 ) ( sum level35 level7 level42 ) ( sum level35 level8 level43 ) ( sum level35 level9 level44 ) ( sum level35 level10 level45 ) ( sum level35 level11 level46 ) ( sum level35 level12 level47 ) ( sum level35 level13 level48 ) ( sum level35 level14 level49 ) ( sum level35 level15 level50 ) ( sum level35 level16 level51 ) ( sum level35 level17 level52 ) ( sum level35 level18 level53 ) ( sum level35 level19 level54 ) ( sum level35 level20 level55 ) ( sum level35 level21 level56 ) ( sum level35 level22 level57 ) ( sum level35 level23 level58 ) ( sum level35 level24 level59 ) ( sum level35 level25 level60 ) ( sum level35 level26 level61 ) ( sum level35 level27 level62 ) ( sum level35 level28 level63 ) ( sum level35 level29 level64 ) ( sum level35 level30 level65 ) ( sum level35 level31 level66 ) ( sum level35 level32 level67 ) ( sum level35 level33 level68 ) ( sum level35 level34 level69 ) ( sum level35 level35 level70 ) ( sum level35 level36 level71 ) ( sum level35 level37 level72 ) ( sum level35 level38 level73 ) ( sum level35 level39 level74 ) ( sum level35 level40 level75 ) ( sum level35 level41 level76 ) ( sum level35 level42 level77 ) ( sum level36 level0 level36 ) ( sum level36 level1 level37 ) ( sum level36 level2 level38 ) ( sum level36 level3 level39 ) ( sum level36 level4 level40 ) ( sum level36 level5 level41 ) ( sum level36 level6 level42 ) ( sum level36 level7 level43 ) ( sum level36 level8 level44 ) ( sum level36 level9 level45 ) ( sum level36 level10 level46 ) ( sum level36 level11 level47 ) ( sum level36 level12 level48 ) ( sum level36 level13 level49 ) ( sum level36 level14 level50 ) ( sum level36 level15 level51 ) ( sum level36 level16 level52 ) ( sum level36 level17 level53 ) ( sum level36 level18 level54 ) ( sum level36 level19 level55 ) ( sum level36 level20 level56 ) ( sum level36 level21 level57 ) ( sum level36 level22 level58 ) ( sum level36 level23 level59 ) ( sum level36 level24 level60 ) ( sum level36 level25 level61 ) ( sum level36 level26 level62 ) ( sum level36 level27 level63 ) ( sum level36 level28 level64 ) ( sum level36 level29 level65 ) ( sum level36 level30 level66 ) ( sum level36 level31 level67 ) ( sum level36 level32 level68 ) ( sum level36 level33 level69 ) ( sum level36 level34 level70 ) ( sum level36 level35 level71 ) ( sum level36 level36 level72 ) ( sum level36 level37 level73 ) ( sum level36 level38 level74 ) ( sum level36 level39 level75 ) ( sum level36 level40 level76 ) ( sum level36 level41 level77 ) ( sum level37 level0 level37 ) ( sum level37 level1 level38 ) ( sum level37 level2 level39 ) ( sum level37 level3 level40 ) ( sum level37 level4 level41 ) ( sum level37 level5 level42 ) ( sum level37 level6 level43 ) ( sum level37 level7 level44 ) ( sum level37 level8 level45 ) ( sum level37 level9 level46 ) ( sum level37 level10 level47 ) ( sum level37 level11 level48 ) ( sum level37 level12 level49 ) ( sum level37 level13 level50 ) ( sum level37 level14 level51 ) ( sum level37 level15 level52 ) ( sum level37 level16 level53 ) ( sum level37 level17 level54 ) ( sum level37 level18 level55 ) ( sum level37 level19 level56 ) ( sum level37 level20 level57 ) ( sum level37 level21 level58 ) ( sum level37 level22 level59 ) ( sum level37 level23 level60 ) ( sum level37 level24 level61 ) ( sum level37 level25 level62 ) ( sum level37 level26 level63 ) ( sum level37 level27 level64 ) ( sum level37 level28 level65 ) ( sum level37 level29 level66 ) ( sum level37 level30 level67 ) ( sum level37 level31 level68 ) ( sum level37 level32 level69 ) ( sum level37 level33 level70 ) ( sum level37 level34 level71 ) ( sum level37 level35 level72 ) ( sum level37 level36 level73 ) ( sum level37 level37 level74 ) ( sum level37 level38 level75 ) ( sum level37 level39 level76 ) ( sum level37 level40 level77 ) ( sum level38 level0 level38 ) ( sum level38 level1 level39 ) ( sum level38 level2 level40 ) ( sum level38 level3 level41 ) ( sum level38 level4 level42 ) ( sum level38 level5 level43 ) ( sum level38 level6 level44 ) ( sum level38 level7 level45 ) ( sum level38 level8 level46 ) ( sum level38 level9 level47 ) ( sum level38 level10 level48 ) ( sum level38 level11 level49 ) ( sum level38 level12 level50 ) ( sum level38 level13 level51 ) ( sum level38 level14 level52 ) ( sum level38 level15 level53 ) ( sum level38 level16 level54 ) ( sum level38 level17 level55 ) ( sum level38 level18 level56 ) ( sum level38 level19 level57 ) ( sum level38 level20 level58 ) ( sum level38 level21 level59 ) ( sum level38 level22 level60 ) ( sum level38 level23 level61 ) ( sum level38 level24 level62 ) ( sum level38 level25 level63 ) ( sum level38 level26 level64 ) ( sum level38 level27 level65 ) ( sum level38 level28 level66 ) ( sum level38 level29 level67 ) ( sum level38 level30 level68 ) ( sum level38 level31 level69 ) ( sum level38 level32 level70 ) ( sum level38 level33 level71 ) ( sum level38 level34 level72 ) ( sum level38 level35 level73 ) ( sum level38 level36 level74 ) ( sum level38 level37 level75 ) ( sum level38 level38 level76 ) ( sum level38 level39 level77 ) ( sum level39 level0 level39 ) ( sum level39 level1 level40 ) ( sum level39 level2 level41 ) ( sum level39 level3 level42 ) ( sum level39 level4 level43 ) ( sum level39 level5 level44 ) ( sum level39 level6 level45 ) ( sum level39 level7 level46 ) ( sum level39 level8 level47 ) ( sum level39 level9 level48 ) ( sum level39 level10 level49 ) ( sum level39 level11 level50 ) ( sum level39 level12 level51 ) ( sum level39 level13 level52 ) ( sum level39 level14 level53 ) ( sum level39 level15 level54 ) ( sum level39 level16 level55 ) ( sum level39 level17 level56 ) ( sum level39 level18 level57 ) ( sum level39 level19 level58 ) ( sum level39 level20 level59 ) ( sum level39 level21 level60 ) ( sum level39 level22 level61 ) ( sum level39 level23 level62 ) ( sum level39 level24 level63 ) ( sum level39 level25 level64 ) ( sum level39 level26 level65 ) ( sum level39 level27 level66 ) ( sum level39 level28 level67 ) ( sum level39 level29 level68 ) ( sum level39 level30 level69 ) ( sum level39 level31 level70 ) ( sum level39 level32 level71 ) ( sum level39 level33 level72 ) ( sum level39 level34 level73 ) ( sum level39 level35 level74 ) ( sum level39 level36 level75 ) ( sum level39 level37 level76 ) ( sum level39 level38 level77 ) ( sum level40 level0 level40 ) ( sum level40 level1 level41 ) ( sum level40 level2 level42 ) ( sum level40 level3 level43 ) ( sum level40 level4 level44 ) ( sum level40 level5 level45 ) ( sum level40 level6 level46 ) ( sum level40 level7 level47 ) ( sum level40 level8 level48 ) ( sum level40 level9 level49 ) ( sum level40 level10 level50 ) ( sum level40 level11 level51 ) ( sum level40 level12 level52 ) ( sum level40 level13 level53 ) ( sum level40 level14 level54 ) ( sum level40 level15 level55 ) ( sum level40 level16 level56 ) ( sum level40 level17 level57 ) ( sum level40 level18 level58 ) ( sum level40 level19 level59 ) ( sum level40 level20 level60 ) ( sum level40 level21 level61 ) ( sum level40 level22 level62 ) ( sum level40 level23 level63 ) ( sum level40 level24 level64 ) ( sum level40 level25 level65 ) ( sum level40 level26 level66 ) ( sum level40 level27 level67 ) ( sum level40 level28 level68 ) ( sum level40 level29 level69 ) ( sum level40 level30 level70 ) ( sum level40 level31 level71 ) ( sum level40 level32 level72 ) ( sum level40 level33 level73 ) ( sum level40 level34 level74 ) ( sum level40 level35 level75 ) ( sum level40 level36 level76 ) ( sum level40 level37 level77 ) ( sum level41 level0 level41 ) ( sum level41 level1 level42 ) ( sum level41 level2 level43 ) ( sum level41 level3 level44 ) ( sum level41 level4 level45 ) ( sum level41 level5 level46 ) ( sum level41 level6 level47 ) ( sum level41 level7 level48 ) ( sum level41 level8 level49 ) ( sum level41 level9 level50 ) ( sum level41 level10 level51 ) ( sum level41 level11 level52 ) ( sum level41 level12 level53 ) ( sum level41 level13 level54 ) ( sum level41 level14 level55 ) ( sum level41 level15 level56 ) ( sum level41 level16 level57 ) ( sum level41 level17 level58 ) ( sum level41 level18 level59 ) ( sum level41 level19 level60 ) ( sum level41 level20 level61 ) ( sum level41 level21 level62 ) ( sum level41 level22 level63 ) ( sum level41 level23 level64 ) ( sum level41 level24 level65 ) ( sum level41 level25 level66 ) ( sum level41 level26 level67 ) ( sum level41 level27 level68 ) ( sum level41 level28 level69 ) ( sum level41 level29 level70 ) ( sum level41 level30 level71 ) ( sum level41 level31 level72 ) ( sum level41 level32 level73 ) ( sum level41 level33 level74 ) ( sum level41 level34 level75 ) ( sum level41 level35 level76 ) ( sum level41 level36 level77 ) ( sum level42 level0 level42 ) ( sum level42 level1 level43 ) ( sum level42 level2 level44 ) ( sum level42 level3 level45 ) ( sum level42 level4 level46 ) ( sum level42 level5 level47 ) ( sum level42 level6 level48 ) ( sum level42 level7 level49 ) ( sum level42 level8 level50 ) ( sum level42 level9 level51 ) ( sum level42 level10 level52 ) ( sum level42 level11 level53 ) ( sum level42 level12 level54 ) ( sum level42 level13 level55 ) ( sum level42 level14 level56 ) ( sum level42 level15 level57 ) ( sum level42 level16 level58 ) ( sum level42 level17 level59 ) ( sum level42 level18 level60 ) ( sum level42 level19 level61 ) ( sum level42 level20 level62 ) ( sum level42 level21 level63 ) ( sum level42 level22 level64 ) ( sum level42 level23 level65 ) ( sum level42 level24 level66 ) ( sum level42 level25 level67 ) ( sum level42 level26 level68 ) ( sum level42 level27 level69 ) ( sum level42 level28 level70 ) ( sum level42 level29 level71 ) ( sum level42 level30 level72 ) ( sum level42 level31 level73 ) ( sum level42 level32 level74 ) ( sum level42 level33 level75 ) ( sum level42 level34 level76 ) ( sum level42 level35 level77 ) ( sum level43 level0 level43 ) ( sum level43 level1 level44 ) ( sum level43 level2 level45 ) ( sum level43 level3 level46 ) ( sum level43 level4 level47 ) ( sum level43 level5 level48 ) ( sum level43 level6 level49 ) ( sum level43 level7 level50 ) ( sum level43 level8 level51 ) ( sum level43 level9 level52 ) ( sum level43 level10 level53 ) ( sum level43 level11 level54 ) ( sum level43 level12 level55 ) ( sum level43 level13 level56 ) ( sum level43 level14 level57 ) ( sum level43 level15 level58 ) ( sum level43 level16 level59 ) ( sum level43 level17 level60 ) ( sum level43 level18 level61 ) ( sum level43 level19 level62 ) ( sum level43 level20 level63 ) ( sum level43 level21 level64 ) ( sum level43 level22 level65 ) ( sum level43 level23 level66 ) ( sum level43 level24 level67 ) ( sum level43 level25 level68 ) ( sum level43 level26 level69 ) ( sum level43 level27 level70 ) ( sum level43 level28 level71 ) ( sum level43 level29 level72 ) ( sum level43 level30 level73 ) ( sum level43 level31 level74 ) ( sum level43 level32 level75 ) ( sum level43 level33 level76 ) ( sum level43 level34 level77 ) ( sum level44 level0 level44 ) ( sum level44 level1 level45 ) ( sum level44 level2 level46 ) ( sum level44 level3 level47 ) ( sum level44 level4 level48 ) ( sum level44 level5 level49 ) ( sum level44 level6 level50 ) ( sum level44 level7 level51 ) ( sum level44 level8 level52 ) ( sum level44 level9 level53 ) ( sum level44 level10 level54 ) ( sum level44 level11 level55 ) ( sum level44 level12 level56 ) ( sum level44 level13 level57 ) ( sum level44 level14 level58 ) ( sum level44 level15 level59 ) ( sum level44 level16 level60 ) ( sum level44 level17 level61 ) ( sum level44 level18 level62 ) ( sum level44 level19 level63 ) ( sum level44 level20 level64 ) ( sum level44 level21 level65 ) ( sum level44 level22 level66 ) ( sum level44 level23 level67 ) ( sum level44 level24 level68 ) ( sum level44 level25 level69 ) ( sum level44 level26 level70 ) ( sum level44 level27 level71 ) ( sum level44 level28 level72 ) ( sum level44 level29 level73 ) ( sum level44 level30 level74 ) ( sum level44 level31 level75 ) ( sum level44 level32 level76 ) ( sum level44 level33 level77 ) ( sum level45 level0 level45 ) ( sum level45 level1 level46 ) ( sum level45 level2 level47 ) ( sum level45 level3 level48 ) ( sum level45 level4 level49 ) ( sum level45 level5 level50 ) ( sum level45 level6 level51 ) ( sum level45 level7 level52 ) ( sum level45 level8 level53 ) ( sum level45 level9 level54 ) ( sum level45 level10 level55 ) ( sum level45 level11 level56 ) ( sum level45 level12 level57 ) ( sum level45 level13 level58 ) ( sum level45 level14 level59 ) ( sum level45 level15 level60 ) ( sum level45 level16 level61 ) ( sum level45 level17 level62 ) ( sum level45 level18 level63 ) ( sum level45 level19 level64 ) ( sum level45 level20 level65 ) ( sum level45 level21 level66 ) ( sum level45 level22 level67 ) ( sum level45 level23 level68 ) ( sum level45 level24 level69 ) ( sum level45 level25 level70 ) ( sum level45 level26 level71 ) ( sum level45 level27 level72 ) ( sum level45 level28 level73 ) ( sum level45 level29 level74 ) ( sum level45 level30 level75 ) ( sum level45 level31 level76 ) ( sum level45 level32 level77 ) ( sum level46 level0 level46 ) ( sum level46 level1 level47 ) ( sum level46 level2 level48 ) ( sum level46 level3 level49 ) ( sum level46 level4 level50 ) ( sum level46 level5 level51 ) ( sum level46 level6 level52 ) ( sum level46 level7 level53 ) ( sum level46 level8 level54 ) ( sum level46 level9 level55 ) ( sum level46 level10 level56 ) ( sum level46 level11 level57 ) ( sum level46 level12 level58 ) ( sum level46 level13 level59 ) ( sum level46 level14 level60 ) ( sum level46 level15 level61 ) ( sum level46 level16 level62 ) ( sum level46 level17 level63 ) ( sum level46 level18 level64 ) ( sum level46 level19 level65 ) ( sum level46 level20 level66 ) ( sum level46 level21 level67 ) ( sum level46 level22 level68 ) ( sum level46 level23 level69 ) ( sum level46 level24 level70 ) ( sum level46 level25 level71 ) ( sum level46 level26 level72 ) ( sum level46 level27 level73 ) ( sum level46 level28 level74 ) ( sum level46 level29 level75 ) ( sum level46 level30 level76 ) ( sum level46 level31 level77 ) ( sum level47 level0 level47 ) ( sum level47 level1 level48 ) ( sum level47 level2 level49 ) ( sum level47 level3 level50 ) ( sum level47 level4 level51 ) ( sum level47 level5 level52 ) ( sum level47 level6 level53 ) ( sum level47 level7 level54 ) ( sum level47 level8 level55 ) ( sum level47 level9 level56 ) ( sum level47 level10 level57 ) ( sum level47 level11 level58 ) ( sum level47 level12 level59 ) ( sum level47 level13 level60 ) ( sum level47 level14 level61 ) ( sum level47 level15 level62 ) ( sum level47 level16 level63 ) ( sum level47 level17 level64 ) ( sum level47 level18 level65 ) ( sum level47 level19 level66 ) ( sum level47 level20 level67 ) ( sum level47 level21 level68 ) ( sum level47 level22 level69 ) ( sum level47 level23 level70 ) ( sum level47 level24 level71 ) ( sum level47 level25 level72 ) ( sum level47 level26 level73 ) ( sum level47 level27 level74 ) ( sum level47 level28 level75 ) ( sum level47 level29 level76 ) ( sum level47 level30 level77 ) ( sum level48 level0 level48 ) ( sum level48 level1 level49 ) ( sum level48 level2 level50 ) ( sum level48 level3 level51 ) ( sum level48 level4 level52 ) ( sum level48 level5 level53 ) ( sum level48 level6 level54 ) ( sum level48 level7 level55 ) ( sum level48 level8 level56 ) ( sum level48 level9 level57 ) ( sum level48 level10 level58 ) ( sum level48 level11 level59 ) ( sum level48 level12 level60 ) ( sum level48 level13 level61 ) ( sum level48 level14 level62 ) ( sum level48 level15 level63 ) ( sum level48 level16 level64 ) ( sum level48 level17 level65 ) ( sum level48 level18 level66 ) ( sum level48 level19 level67 ) ( sum level48 level20 level68 ) ( sum level48 level21 level69 ) ( sum level48 level22 level70 ) ( sum level48 level23 level71 ) ( sum level48 level24 level72 ) ( sum level48 level25 level73 ) ( sum level48 level26 level74 ) ( sum level48 level27 level75 ) ( sum level48 level28 level76 ) ( sum level48 level29 level77 ) ( sum level49 level0 level49 ) ( sum level49 level1 level50 ) ( sum level49 level2 level51 ) ( sum level49 level3 level52 ) ( sum level49 level4 level53 ) ( sum level49 level5 level54 ) ( sum level49 level6 level55 ) ( sum level49 level7 level56 ) ( sum level49 level8 level57 ) ( sum level49 level9 level58 ) ( sum level49 level10 level59 ) ( sum level49 level11 level60 ) ( sum level49 level12 level61 ) ( sum level49 level13 level62 ) ( sum level49 level14 level63 ) ( sum level49 level15 level64 ) ( sum level49 level16 level65 ) ( sum level49 level17 level66 ) ( sum level49 level18 level67 ) ( sum level49 level19 level68 ) ( sum level49 level20 level69 ) ( sum level49 level21 level70 ) ( sum level49 level22 level71 ) ( sum level49 level23 level72 ) ( sum level49 level24 level73 ) ( sum level49 level25 level74 ) ( sum level49 level26 level75 ) ( sum level49 level27 level76 ) ( sum level49 level28 level77 ) ( sum level50 level0 level50 ) ( sum level50 level1 level51 ) ( sum level50 level2 level52 ) ( sum level50 level3 level53 ) ( sum level50 level4 level54 ) ( sum level50 level5 level55 ) ( sum level50 level6 level56 ) ( sum level50 level7 level57 ) ( sum level50 level8 level58 ) ( sum level50 level9 level59 ) ( sum level50 level10 level60 ) ( sum level50 level11 level61 ) ( sum level50 level12 level62 ) ( sum level50 level13 level63 ) ( sum level50 level14 level64 ) ( sum level50 level15 level65 ) ( sum level50 level16 level66 ) ( sum level50 level17 level67 ) ( sum level50 level18 level68 ) ( sum level50 level19 level69 ) ( sum level50 level20 level70 ) ( sum level50 level21 level71 ) ( sum level50 level22 level72 ) ( sum level50 level23 level73 ) ( sum level50 level24 level74 ) ( sum level50 level25 level75 ) ( sum level50 level26 level76 ) ( sum level50 level27 level77 ) ( sum level51 level0 level51 ) ( sum level51 level1 level52 ) ( sum level51 level2 level53 ) ( sum level51 level3 level54 ) ( sum level51 level4 level55 ) ( sum level51 level5 level56 ) ( sum level51 level6 level57 ) ( sum level51 level7 level58 ) ( sum level51 level8 level59 ) ( sum level51 level9 level60 ) ( sum level51 level10 level61 ) ( sum level51 level11 level62 ) ( sum level51 level12 level63 ) ( sum level51 level13 level64 ) ( sum level51 level14 level65 ) ( sum level51 level15 level66 ) ( sum level51 level16 level67 ) ( sum level51 level17 level68 ) ( sum level51 level18 level69 ) ( sum level51 level19 level70 ) ( sum level51 level20 level71 ) ( sum level51 level21 level72 ) ( sum level51 level22 level73 ) ( sum level51 level23 level74 ) ( sum level51 level24 level75 ) ( sum level51 level25 level76 ) ( sum level51 level26 level77 ) ( sum level52 level0 level52 ) ( sum level52 level1 level53 ) ( sum level52 level2 level54 ) ( sum level52 level3 level55 ) ( sum level52 level4 level56 ) ( sum level52 level5 level57 ) ( sum level52 level6 level58 ) ( sum level52 level7 level59 ) ( sum level52 level8 level60 ) ( sum level52 level9 level61 ) ( sum level52 level10 level62 ) ( sum level52 level11 level63 ) ( sum level52 level12 level64 ) ( sum level52 level13 level65 ) ( sum level52 level14 level66 ) ( sum level52 level15 level67 ) ( sum level52 level16 level68 ) ( sum level52 level17 level69 ) ( sum level52 level18 level70 ) ( sum level52 level19 level71 ) ( sum level52 level20 level72 ) ( sum level52 level21 level73 ) ( sum level52 level22 level74 ) ( sum level52 level23 level75 ) ( sum level52 level24 level76 ) ( sum level52 level25 level77 ) ( sum level53 level0 level53 ) ( sum level53 level1 level54 ) ( sum level53 level2 level55 ) ( sum level53 level3 level56 ) ( sum level53 level4 level57 ) ( sum level53 level5 level58 ) ( sum level53 level6 level59 ) ( sum level53 level7 level60 ) ( sum level53 level8 level61 ) ( sum level53 level9 level62 ) ( sum level53 level10 level63 ) ( sum level53 level11 level64 ) ( sum level53 level12 level65 ) ( sum level53 level13 level66 ) ( sum level53 level14 level67 ) ( sum level53 level15 level68 ) ( sum level53 level16 level69 ) ( sum level53 level17 level70 ) ( sum level53 level18 level71 ) ( sum level53 level19 level72 ) ( sum level53 level20 level73 ) ( sum level53 level21 level74 ) ( sum level53 level22 level75 ) ( sum level53 level23 level76 ) ( sum level53 level24 level77 ) ( sum level54 level0 level54 ) ( sum level54 level1 level55 ) ( sum level54 level2 level56 ) ( sum level54 level3 level57 ) ( sum level54 level4 level58 ) ( sum level54 level5 level59 ) ( sum level54 level6 level60 ) ( sum level54 level7 level61 ) ( sum level54 level8 level62 ) ( sum level54 level9 level63 ) ( sum level54 level10 level64 ) ( sum level54 level11 level65 ) ( sum level54 level12 level66 ) ( sum level54 level13 level67 ) ( sum level54 level14 level68 ) ( sum level54 level15 level69 ) ( sum level54 level16 level70 ) ( sum level54 level17 level71 ) ( sum level54 level18 level72 ) ( sum level54 level19 level73 ) ( sum level54 level20 level74 ) ( sum level54 level21 level75 ) ( sum level54 level22 level76 ) ( sum level54 level23 level77 ) ( sum level55 level0 level55 ) ( sum level55 level1 level56 ) ( sum level55 level2 level57 ) ( sum level55 level3 level58 ) ( sum level55 level4 level59 ) ( sum level55 level5 level60 ) ( sum level55 level6 level61 ) ( sum level55 level7 level62 ) ( sum level55 level8 level63 ) ( sum level55 level9 level64 ) ( sum level55 level10 level65 ) ( sum level55 level11 level66 ) ( sum level55 level12 level67 ) ( sum level55 level13 level68 ) ( sum level55 level14 level69 ) ( sum level55 level15 level70 ) ( sum level55 level16 level71 ) ( sum level55 level17 level72 ) ( sum level55 level18 level73 ) ( sum level55 level19 level74 ) ( sum level55 level20 level75 ) ( sum level55 level21 level76 ) ( sum level55 level22 level77 ) ( sum level56 level0 level56 ) ( sum level56 level1 level57 ) ( sum level56 level2 level58 ) ( sum level56 level3 level59 ) ( sum level56 level4 level60 ) ( sum level56 level5 level61 ) ( sum level56 level6 level62 ) ( sum level56 level7 level63 ) ( sum level56 level8 level64 ) ( sum level56 level9 level65 ) ( sum level56 level10 level66 ) ( sum level56 level11 level67 ) ( sum level56 level12 level68 ) ( sum level56 level13 level69 ) ( sum level56 level14 level70 ) ( sum level56 level15 level71 ) ( sum level56 level16 level72 ) ( sum level56 level17 level73 ) ( sum level56 level18 level74 ) ( sum level56 level19 level75 ) ( sum level56 level20 level76 ) ( sum level56 level21 level77 ) ( sum level57 level0 level57 ) ( sum level57 level1 level58 ) ( sum level57 level2 level59 ) ( sum level57 level3 level60 ) ( sum level57 level4 level61 ) ( sum level57 level5 level62 ) ( sum level57 level6 level63 ) ( sum level57 level7 level64 ) ( sum level57 level8 level65 ) ( sum level57 level9 level66 ) ( sum level57 level10 level67 ) ( sum level57 level11 level68 ) ( sum level57 level12 level69 ) ( sum level57 level13 level70 ) ( sum level57 level14 level71 ) ( sum level57 level15 level72 ) ( sum level57 level16 level73 ) ( sum level57 level17 level74 ) ( sum level57 level18 level75 ) ( sum level57 level19 level76 ) ( sum level57 level20 level77 ) ( sum level58 level0 level58 ) ( sum level58 level1 level59 ) ( sum level58 level2 level60 ) ( sum level58 level3 level61 ) ( sum level58 level4 level62 ) ( sum level58 level5 level63 ) ( sum level58 level6 level64 ) ( sum level58 level7 level65 ) ( sum level58 level8 level66 ) ( sum level58 level9 level67 ) ( sum level58 level10 level68 ) ( sum level58 level11 level69 ) ( sum level58 level12 level70 ) ( sum level58 level13 level71 ) ( sum level58 level14 level72 ) ( sum level58 level15 level73 ) ( sum level58 level16 level74 ) ( sum level58 level17 level75 ) ( sum level58 level18 level76 ) ( sum level58 level19 level77 ) ( sum level59 level0 level59 ) ( sum level59 level1 level60 ) ( sum level59 level2 level61 ) ( sum level59 level3 level62 ) ( sum level59 level4 level63 ) ( sum level59 level5 level64 ) ( sum level59 level6 level65 ) ( sum level59 level7 level66 ) ( sum level59 level8 level67 ) ( sum level59 level9 level68 ) ( sum level59 level10 level69 ) ( sum level59 level11 level70 ) ( sum level59 level12 level71 ) ( sum level59 level13 level72 ) ( sum level59 level14 level73 ) ( sum level59 level15 level74 ) ( sum level59 level16 level75 ) ( sum level59 level17 level76 ) ( sum level59 level18 level77 ) ( sum level60 level0 level60 ) ( sum level60 level1 level61 ) ( sum level60 level2 level62 ) ( sum level60 level3 level63 ) ( sum level60 level4 level64 ) ( sum level60 level5 level65 ) ( sum level60 level6 level66 ) ( sum level60 level7 level67 ) ( sum level60 level8 level68 ) ( sum level60 level9 level69 ) ( sum level60 level10 level70 ) ( sum level60 level11 level71 ) ( sum level60 level12 level72 ) ( sum level60 level13 level73 ) ( sum level60 level14 level74 ) ( sum level60 level15 level75 ) ( sum level60 level16 level76 ) ( sum level60 level17 level77 ) ( sum level61 level0 level61 ) ( sum level61 level1 level62 ) ( sum level61 level2 level63 ) ( sum level61 level3 level64 ) ( sum level61 level4 level65 ) ( sum level61 level5 level66 ) ( sum level61 level6 level67 ) ( sum level61 level7 level68 ) ( sum level61 level8 level69 ) ( sum level61 level9 level70 ) ( sum level61 level10 level71 ) ( sum level61 level11 level72 ) ( sum level61 level12 level73 ) ( sum level61 level13 level74 ) ( sum level61 level14 level75 ) ( sum level61 level15 level76 ) ( sum level61 level16 level77 ) ( sum level62 level0 level62 ) ( sum level62 level1 level63 ) ( sum level62 level2 level64 ) ( sum level62 level3 level65 ) ( sum level62 level4 level66 ) ( sum level62 level5 level67 ) ( sum level62 level6 level68 ) ( sum level62 level7 level69 ) ( sum level62 level8 level70 ) ( sum level62 level9 level71 ) ( sum level62 level10 level72 ) ( sum level62 level11 level73 ) ( sum level62 level12 level74 ) ( sum level62 level13 level75 ) ( sum level62 level14 level76 ) ( sum level62 level15 level77 ) ( sum level63 level0 level63 ) ( sum level63 level1 level64 ) ( sum level63 level2 level65 ) ( sum level63 level3 level66 ) ( sum level63 level4 level67 ) ( sum level63 level5 level68 ) ( sum level63 level6 level69 ) ( sum level63 level7 level70 ) ( sum level63 level8 level71 ) ( sum level63 level9 level72 ) ( sum level63 level10 level73 ) ( sum level63 level11 level74 ) ( sum level63 level12 level75 ) ( sum level63 level13 level76 ) ( sum level63 level14 level77 ) ( sum level64 level0 level64 ) ( sum level64 level1 level65 ) ( sum level64 level2 level66 ) ( sum level64 level3 level67 ) ( sum level64 level4 level68 ) ( sum level64 level5 level69 ) ( sum level64 level6 level70 ) ( sum level64 level7 level71 ) ( sum level64 level8 level72 ) ( sum level64 level9 level73 ) ( sum level64 level10 level74 ) ( sum level64 level11 level75 ) ( sum level64 level12 level76 ) ( sum level64 level13 level77 ) ( sum level65 level0 level65 ) ( sum level65 level1 level66 ) ( sum level65 level2 level67 ) ( sum level65 level3 level68 ) ( sum level65 level4 level69 ) ( sum level65 level5 level70 ) ( sum level65 level6 level71 ) ( sum level65 level7 level72 ) ( sum level65 level8 level73 ) ( sum level65 level9 level74 ) ( sum level65 level10 level75 ) ( sum level65 level11 level76 ) ( sum level65 level12 level77 ) ( sum level66 level0 level66 ) ( sum level66 level1 level67 ) ( sum level66 level2 level68 ) ( sum level66 level3 level69 ) ( sum level66 level4 level70 ) ( sum level66 level5 level71 ) ( sum level66 level6 level72 ) ( sum level66 level7 level73 ) ( sum level66 level8 level74 ) ( sum level66 level9 level75 ) ( sum level66 level10 level76 ) ( sum level66 level11 level77 ) ( sum level67 level0 level67 ) ( sum level67 level1 level68 ) ( sum level67 level2 level69 ) ( sum level67 level3 level70 ) ( sum level67 level4 level71 ) ( sum level67 level5 level72 ) ( sum level67 level6 level73 ) ( sum level67 level7 level74 ) ( sum level67 level8 level75 ) ( sum level67 level9 level76 ) ( sum level67 level10 level77 ) ( sum level68 level0 level68 ) ( sum level68 level1 level69 ) ( sum level68 level2 level70 ) ( sum level68 level3 level71 ) ( sum level68 level4 level72 ) ( sum level68 level5 level73 ) ( sum level68 level6 level74 ) ( sum level68 level7 level75 ) ( sum level68 level8 level76 ) ( sum level68 level9 level77 ) ( sum level69 level0 level69 ) ( sum level69 level1 level70 ) ( sum level69 level2 level71 ) ( sum level69 level3 level72 ) ( sum level69 level4 level73 ) ( sum level69 level5 level74 ) ( sum level69 level6 level75 ) ( sum level69 level7 level76 ) ( sum level69 level8 level77 ) ( sum level70 level0 level70 ) ( sum level70 level1 level71 ) ( sum level70 level2 level72 ) ( sum level70 level3 level73 ) ( sum level70 level4 level74 ) ( sum level70 level5 level75 ) ( sum level70 level6 level76 ) ( sum level70 level7 level77 ) ( sum level71 level0 level71 ) ( sum level71 level1 level72 ) ( sum level71 level2 level73 ) ( sum level71 level3 level74 ) ( sum level71 level4 level75 ) ( sum level71 level5 level76 ) ( sum level71 level6 level77 ) ( sum level72 level0 level72 ) ( sum level72 level1 level73 ) ( sum level72 level2 level74 ) ( sum level72 level3 level75 ) ( sum level72 level4 level76 ) ( sum level72 level5 level77 ) ( sum level73 level0 level73 ) ( sum level73 level1 level74 ) ( sum level73 level2 level75 ) ( sum level73 level3 level76 ) ( sum level73 level4 level77 ) ( sum level74 level0 level74 ) ( sum level74 level1 level75 ) ( sum level74 level2 level76 ) ( sum level74 level3 level77 ) ( sum level75 level0 level75 ) ( sum level75 level1 level76 ) ( sum level75 level2 level77 ) ( sum level76 level0 level76 ) ( sum level76 level1 level77 ) ( sum level77 level0 level77 ) ( connected l0 l1 ) ( fuelcost level23 l0 l1 ) ( connected l0 l2 ) ( fuelcost level13 l0 l2 ) ( connected l0 l3 ) ( fuelcost level12 l0 l3 ) ( connected l0 l4 ) ( fuelcost level14 l0 l4 ) ( connected l1 l0 ) ( fuelcost level23 l1 l0 ) ( connected l1 l2 ) ( fuelcost level5 l1 l2 ) ( connected l2 l0 ) ( fuelcost level13 l2 l0 ) ( connected l2 l1 ) ( fuelcost level5 l2 l1 ) ( connected l2 l3 ) ( fuelcost level11 l2 l3 ) ( connected l2 l4 ) ( fuelcost level23 l2 l4 ) ( connected l3 l0 ) ( fuelcost level12 l3 l0 ) ( connected l3 l2 ) ( fuelcost level11 l3 l2 ) ( connected l4 l0 ) ( fuelcost level14 l4 l0 ) ( connected l4 l2 ) ( fuelcost level23 l4 l2 ) ( at t0 l3 ) ( fuel t0 level77 ) ( = ( total-cost ) 0 ) ( count p2 l4 1 ) ( count p2 l1 1 ) ( more 0 1 ) ( more 1 2 ) ( more 2 3 ) ( more 3 4 ) ( count p2 l0 0 ) ( count p2 l2 0 ) ( count p2 l3 0 ) ( count p1 l3 1 ) ( count p1 l0 0 ) ( count p1 l1 0 ) ( count p1 l2 0 ) ( count p1 l4 0 ) ( count p3 l4 1 ) ( count p3 l0 0 ) ( count p3 l1 0 ) ( count p3 l2 0 ) ( count p3 l3 0 ) ( count p2 t0 0 ) ( count p1 t0 0 ) ( count p3 t0 0 ) ) ( :goal ( and ( count p2 l2 2 ) ( count p1 l1 1 ) ( count p3 l3 1 ) ) ) )